Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Hartmut Ehrig
Themen in »Integration of Software Specification Techniques for Applications in Engineering«
UML Unified Modeling Language (UML) control systems engineering systems formal specification formal verification modeling petri net petri nets software architectures software specification specification languages specification techniques systems specification traffic control systems
Stimmen zu »Integration of Software Specification Techniques for Applications in Engineering«
Details
ISBN: 9783540278634
Verlag: Springer Berlin
Erscheinung: 05.04.2011