Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.

Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi

Browse the full SEFM paper archive.