Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition | |
---|---|
Author | |
Year of Publication |
2013
|
Conference Name |
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS)
|
Publisher |
Springer Berlin Heidelberg
|
Google Scholar | BibTeX | XML |