Publikationen

Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile

Author:
C. Diedrich
E. Hintze
S. Magnus
J. Krause
Jahr der Konferenz:
2012
Name der Konferenz:
SafeComp 2012 – The 31st International Conference on Computer Safety, Reliability and Security, 25.-28.09.2012
Volume:
7613
Veröffentlichungsdatum:
09/2012
Herausgeber:
Springer
Konferenzort:
Magdeburg
ISBN-Nummer:
978-3-642-33674-4
Geschäftsfelder: