Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Tiziana Margaria
Themen in »Leveraging Applications of Formal Methods, Verification, and Validation«
Internet Linux Pacemaker business process modeling classification cloud computing collaboration colored petri nets concept Web crowdsourcing distributed systems embedded systems formal analysis formal methods formal modeling
Stimmen zu »Leveraging Applications of Formal Methods, Verification, and Validation«
Details
ISBN: 9783642165603
Verlag: Springer Berlin
Erscheinung: 19.10.2010