![Timed Automata as a Verification Tool for Security Protocols Timed Automata as a Verification Tool for Security Protocols](https://bilder.buecher.de/produkte/33/33556/33556746n.jpg)
Broschiertes Buch
An Analysis on a Case Study
24. Mai 2011
Dictus Publishing
![Los autómatas programados como herramienta de verificación de los protocolos de seguridad Los autómatas programados como herramienta de verificación de los protocolos de seguridad](https://bilder.buecher.de/produkte/63/63466/63466129mq.jpg)
Broschiertes Buch
Un análisis de un estudio de caso
26. August 2021
Ediciones Nuestro Conocimiento
Ähnliche Artikel
![Advances in Verification of Time Petri Nets and Timed Automata Advances in Verification of Time Petri Nets and Timed Automata](https://bilder.buecher.de/produkte/20/20812/20812505m.jpg)
Gebundenes Buch
A Temporal Logic Approach
2006
26. Juni 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11599357,978-3-540-32869-8
![The use of Website as a Tool of E-Learning in Education The use of Website as a Tool of E-Learning in Education](https://bilder.buecher.de/produkte/33/33698/33698914n.jpg)
Broschiertes Buch
Implement Website To Help A-level Students Studying Computing Module
25. April 2011
Dictus Publishing
![A Journey from Process Algebra via Timed Automata to Model Learning A Journey from Process Algebra via Timed Automata to Model Learning](https://bilder.buecher.de/produkte/65/65889/65889357m.jpg)
Broschiertes Buch
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
1st ed. 2022
7. September 2022
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-15628-1
![Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems](https://bilder.buecher.de/produkte/43/43231/43231947m.jpg)
Broschiertes Buch
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
1st ed. 2015
12. August 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-22974-4
![Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems](https://bilder.buecher.de/produkte/25/25048/25048509m.jpg)
Broschiertes Buch
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
2008
5. September 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12519675,978-3-540-85777-8
![Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems](https://bilder.buecher.de/produkte/14/14571/14571618m.jpg)
Broschiertes Buch
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
2004
20. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11324249,978-3-540-23167-7
![Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems](https://bilder.buecher.de/produkte/23/23171/23171181m.jpg)
Broschiertes Buch
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
2007
20. September 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12169450,978-3-540-75453-4
![Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems](https://bilder.buecher.de/produkte/59/59825/59825448m.jpg)
Broschiertes Buch
18th International Conference, FORMATS 2020, Vienna, Austria, September 1¿3, 2020, Proceedings
1st ed. 2020
17. August 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-57627-1
![Towards a biological modelling tool recommending proper subnetworks Towards a biological modelling tool recommending proper subnetworks](https://bilder.buecher.de/produkte/50/50543/50543792n.jpg)
Broschiertes Buch
Generating recommendations to extend biochemical reaction networks during modelling
11. Dezember 2017
AV Akademikerverlag
![Table Extraction for Information Retrieval Table Extraction for Information Retrieval](https://bilder.buecher.de/produkte/56/56983/56983577n.jpg)
Broschiertes Buch
A framework to evaluate and compare the table extraction tools and assess their application to the Information Retrieval
1. April 2019
AV Akademikerverlag
Ähnlichkeitssuche: Fact®Finder von OMIKRON