Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
up-to-date results fast track conference proceedings state-of-the-art report
Autor*in
Stefan Kowalewski
Themen in »Formal Methods for Industrial Critical Systems«
BPMN CBMC Java automated translation business process modeling case study development formal methods formal specification formal verification petri net software software engineering verification
Stimmen zu »Formal Methods for Industrial Critical Systems«
Details
ISBN: 9783642158971
Verlag: Springer Berlin
Erscheinung: 09.09.2010