Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition
Fri, 11/15/2013 - 1:32pm
| Title | Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Simko, G., D. Lindecker, T. Levendovszky, S. Neema, and J. Sztipanovits |
| Conference Name | ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS) |
| Publisher | Springer Berlin Heidelberg |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering