| - Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi, In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), IEEE Computer Society Press, 2009. [pdf]
[bib]
|
