Liknande böcker

Formal Techniques in Real-Time and Fault-Tolerant Systems : Second Inter...
Bok av Jan Vytopil
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third Intern...
Bok av Hans Langmaack
Organic and Pervasive Computing -- ARCS 2004 : International Conference...
Bok av Christian Muller-Schloer
Formal techniques in real-time and fault-tolerant systems : 5th internat...
Bok av Anders P Ravn
Formal techniques in real-time and fault-tolerant systems : proceedings
Bok av Bengt Jonsson
Real-time Systems: Modeling, Design And Applications
Bok av Dan. Ionescu
Principles of Distributed Systems : 11th International Conference, OPODI...
Bok av Eduardo. Tovar
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Bok av Dirk Taubner

Specification and Compositional Verification of Real-Time Systems

Bok av Jozef Hooman