![](/img/cover-not-exists.png)
[ACM Press the ACM/IEEE 4th International Conference - Philadelphia, Pennsylvania (2013.04.08-2013.04.11)] Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 - Cyber-physical system design contracts
Derler, Patricia, Lee, Edward A., Tripakis, Stavros, Törngren, MartinYear:
2013
Language:
english
DOI:
10.1145/2502524.2502540
File:
PDF, 2.71 MB
english, 2013