Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Kedar Namjoshi
Themen in »Automated Technology for Verification and Analysis«
Simulation automata construction embedded systems formal method formal methods formal performance analysis hardware verification hybrid systems model checking modeling petri net probabilistic models real-time verification
Stimmen zu »Automated Technology for Verification and Analysis«
Details
ISBN: 9783540755968
Verlag: Springer Berlin
Erscheinung: 04.11.2007