Benutzer: Gast  Login
Autor(en):
Blech, Jan Olaf; Hattendorf, Anton; Huang, Jia 
Titel:
An Invariant Preserving Transformation for PLC Models 
Stichworte:
external 
Kongress- / Buchtitel:
IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design 
Verlagsort:
Newport Beach, CA 
Jahr:
2011 
Monat:
March