Formal Modeling and Analysis of Timed Systems Wang Yi
53,49 €
Titel: Formal Modeling and Analysis of Timed Systems, Untertitel: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings, Einband: Taschenbuch, Autor: Wang Yi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 320, Maße: 235x155x18 mm, Gewicht: 487 g, Verkäufer: buch-mimpf, Schlagworte: Echtzeit Real-time Realzeit Analyse / Systemanalyse Systemanalyse Embedded Systems Systems Design distributed systems formal analysis formal methods formal modeling formal verification hybrid systems logical constraints model checking real-time systems systems analysis systems modeling timed timed automata.
Jetzt bei Ebay:
