Suchergebnisse - Schneider, Steve
Steve Stevens

- Treffer 1 – 11 von 11
-
1Correctness and communication in real-time systemsVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Concurrent and real time systems: the CSP approachVeröffentlicht 2000Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3The modelling and analysis of security protocols: the CSP approachVeröffentlicht 2006Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4A comparison of additivity axioms in timed transition systemsVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Integrated formal methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedingsVeröffentlicht 2017Weitere beteiligte Personen: “… Schneider, Steve …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
6Information security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018 : proceedingsVeröffentlicht 2018Weitere beteiligte Personen: “… Schneider, Steve …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
7Computer security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, proceedings, part IVeröffentlicht 2019Weitere beteiligte Personen: “… Schneider, Steve …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
8Computer security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, proceedings, part IIVeröffentlicht 2019Weitere beteiligte Personen: “… Schneider, Steve …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
9Computer security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, proceedings, part IVeröffentlicht 2020Weitere beteiligte Personen: “… Schneider, Steve …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
10Computer security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, proceedings, part IIVeröffentlicht 2020Weitere beteiligte Personen: “… Schneider, Steve …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
11Automated verification of critical systems (AVoCS 2013)Veröffentlicht 2015Weitere beteiligte Personen: “… Schneider, Steve …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …