Searching for authors named "Marco Mauri" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Towards UML-based formal specifications of component based real-time software
- … , Luigi Lavazza 1 2 , Marco Mauri 2 , Giuseppe Occorso 2 1 Politecnico di Milano, Dipartimento di…
- Cited by 2 (0 self) – Add To MetaCart
-
A Classification of Real-Time Specifications Complexity
- …A classification of real-time specifications complexity Vieri del Bianco, Luigi Lavazza, Marco…
- Cited by 1 (1 self) – Add To MetaCart
-
An application of the DESS modeling approach: The Car Speed Regulator
- … Lavazza, Marco Mauri CEFRIEL and Politecnico di Milano Abstract The ITEA Project DESS (Software…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 3.
