Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Yassine Lakhnech
Themen in »Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems«
Analysis Automat Scheduling automata formal specification formal verification model checking modeling petri net verification
Stimmen zu »Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems«
Details
ISBN: 9783540231677
Verlag: Springer Berlin
Erscheinung: 20.09.2004