Liknande böcker

Formal Modeling and Analysis of Timed Systems : 13th International Confe...
Bok av Sriram Sankaranarayanan
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, AS...
Bok av Omar Jaradat
Membrane Computing : 17th International Conference, CMC 2016, Milan, Ita...
Bok av Alberto Leporati
Tools and Algorithms for the Construction and Analysis of Systems : 23rd...
Bok av Axel Legay
Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloq...
Bok av Antonio. Cerone
Membrane Computing : 12th International Conference, CMC 2011, Fontainebl...
Bok av Marian. Gheorghe
Foundations of Software Science and Computational Structures : 15th Inte...
Bok av Lars. Birkedal

Formal Modeling and Analysis of Timed Systems

Bok av Axel. Legay