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