Towards UML-Based Formal Specifications of Component-Based Real-Time Software.

Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso

Browse the full FASE paper archive.