Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary).

Marieke Huisman, Cristina Seceleanu

Browse the full ISoLA paper archive.