Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Paul Pettersson
Themen in »Formal Modeling and Analysis of Timed Systems«
distributed systems embedded systems formal analysis formal methods formal modeling formal verification hybrid systems logical constraints model checking real-time systems systems analysis systems design systems modeling timed timed automata
Stimmen zu »Formal Modeling and Analysis of Timed Systems«
Details
ISBN: 9783540316169
Verlag: Springer Berlin
Erscheinung: 29.11.2005