Author:
Moffett Yann,Beaulieu Alain,Dingel Juergen
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;T. Ball,2004
2. Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: ESEC/FSE 2001, Vienna, Austria, pp. 186–195 (2001)
3. Engels, G., Küster, J., Heckel, R., Lohmann, M.: Model-Based Verification and Validation of Properties. ENTCS 82(7), 133–150 (2003)
4. Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J., Levi, S.: Language Support for Fast and Reliable Message-Based Communication in Singularity OS. In: EuroSys, pp. 177–190 (2006)
5. Giese, H., Tichy, M., Burmester, S., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: ESEC/FSE 2003, pp. 38–47 (2003)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献