Automated Technology for Verification and Analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Farn Wang
Themen in »Automated Technology for Verification and Analysis«
Compiler complexity embedded systems formal methods formal specification model checking optimization organization petri net petri nets program analysis protocol verification software verification systems analysis systems design
Stimmen zu »Automated Technology for Verification and Analysis«
Details
ISBN: 9783540236108
Verlag: Springer Berlin
Erscheinung: 19.10.2004