Login
- Title:
An Invariant Preserving Transformation for PLC Models
- Author(s):
- Blech, Jan Olaf; Hattendorf, Anton; Huang, Jia
- 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
- Fulltext / DOI:
- doi:10.1109/ISORCW.2011.46
BibTeX