Model Checking UML Specifications of Real Time Software.

Vieri Del Bianco, Luigi Lavazza, Marco Mauri

Browse the full ICECCS paper archive.