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 I
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Tiziana Margaria
Themen in »Leveraging Applications of Formal Methods, Verification, and Validation«
Ethernet Internet Routing business process modeling classification cloud computing collaboration colored petri nets communication system crowdsourcing distributed systems embedded systems formal modeling formal semantics formal verification
Stimmen zu »Leveraging Applications of Formal Methods, Verification, and Validation«
Details
ISBN: 9783642165580
Verlag: Springer Berlin
Erscheinung: 02.11.2010