Publikationen

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

Author:
C. Diedrich
E. Hintze
S. Magnus
J. Krause
Year of Conference:
2012
Conference Name:
SafeComp 2012 – The 31st International Conference on Computer Safety, Reliability and Security, 25.-28.09.2012
Volume:
7613
Date Published:
09/2012
Publisher:
Springer
Conference Location:
Magdeburg
ISBN Number:
978-3-642-33674-4
Geschäftsfelder: