A formal approach for modeling and verification of RTCORBA-based applications.

Matteo Rossi, Dino Mandrioli

Browse the full ISSTA paper archive.