Integrated Formal Methods
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Judi M.T. Romijn
Themen in »Integrated Formal Methods«
Attribut Unified Modeling Language (UML) automata calculus component systems constraint satisfaction embedded systems formal method formal methods formal specification formal validation formal verification model checking semantics verification
Stimmen zu »Integrated Formal Methods«
Details
ISBN: 9783540322405
Verlag: Springer Berlin
Erscheinung: 27.10.2005