Formal methods for the design of real-time systems
Bernado Marco, Corradini FlavioKniha
Citace v seznamu literatury:
BERNADO, Marco a CORRADINI, Flavio (ed.). Formal methods for the design of real-time systems: International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004. Lecture notes in computer science. Berlin: Springer, c2004. ISBN 3540230688.