User: Guest  Login
Author(s):
Blech, Jan Olaf; Hattendorf, Anton; Huang, Jia 
Title:
An Invariant Preserving Transformation for PLC Models 
Keywords:
external 
Book / Congress title:
IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design 
Publisher address:
Newport Beach, CA 
Year:
2011 
Month:
March