[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Refinement calculus of reactive systems
Preoteasa, Viorel, Tripakis, StavrosYear:
2014
Language:
english
DOI:
10.1145/2656045.2656068
File:
PDF, 291 KB
english, 2014