Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Roberto Gorrieri
Themen in »Formal Methods for Open Object-Based Distributed Systems«
Monitor UML automata distributed computing distributed systems formal method formal methods formal specification model-driven architectures modeling object systems object-oriented programming open systems security semantics
Stimmen zu »Formal Methods for Open Object-Based Distributed Systems«
Details
ISBN: 9783540348955
Verlag: Springer Berlin
Erscheinung: 26.05.2006