Searching for authors named "Matteo Rossi" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
National geophysical data centre (NGDC). http://ngdc.noaa.gov/. [Oral Oracle home
- …. Furia and Matteo Rossi 2 Dipartimento di Elettronica e Informazione, Politecnico di Milano 32, Piazza…
- Cited by 1 (1 self) – Add To MetaCart
-
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation ⋆
- …. Furia 1 , Matteo Pradella 2 , and Matteo Rossi 1 1 Dipartimento di Elettronica e Informazione…
- Add To MetaCart
-
A Formal Approach for Designing CORBA based Applications
- …A Formal Approach for Designing CORBA based Applications § ABSTRACT Matteo Pradella Matteo Rossi…
- Cited by 5 (0 self) – Add To MetaCart
-
A Case Study in Object-oriented Modeling and Design of Distributed Multimedia Applications
- … Angelo Morzenti 1 , Matteo Pradella 1 , Matteo Rossi 1 , Stefano Russo 2 , Antonio Sergio 2 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems ⋆
- …. Furia 2 , and Matteo Rossi 2 1 Dipartimento di Meccanica, Politecnico di Milano 9, Via Bonardi, 20133…
- Cited by 1 (0 self) – Add To MetaCart
-
Morzenti: “Automated compositional proofs for real-time systems
- …Automated Compositional Proofs for Real-Time Systems ⋆ Carlo A. Furia, Matteo Rossi, Dino…
- Cited by 5 (3 self) – Add To MetaCart
-
DEI
- …Logic-based modeling and analysis of timed systems Matteo Rossi Dipartimento di Elettronica ed…
- Add To MetaCart
-
Raising formal methods to the requirements level
- …Raising Formal Methods To The Requirements Level Carlo A. Furia 1 , Matteo Rossi 1 , Elisabeth A…
- Cited by 1 (1 self) – Add To MetaCart
-
The engineering roles of requirements and specification
- … , Matteo Rossi 2 , John C. Knight 1 , Dino Mandrioli 2 1 University of Virginia 151 Engineer's Way…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 9.
