Monitoring Multi-threaded Component-Based Systems.

Hosein Nazarpour, Ylis Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz

Browse the full IFM paper archive.