Searching for authors named "Angelo Morzenti" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Dealing With Zero-Time Transitions in Axiom Systems
- …, Angelo Morzenti Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy {garganti…
- Cited by 1 (1 self) – Add To MetaCart
-
Proving properties of real-time systems through logical specifications and Petri Net models
- … Miguel Felder, Dino Mandrioli, Angelo Morzenti Dipartimento di Elettronica, Politecnico di Milano, Italy…
- Cited by 28 (10 self) – Add To MetaCart
-
Providing Automated Support to Deductive Analysis of Time Critical Systems
- … Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti Politecnico di Milano, Dipartimento di Elettronica…
- Cited by 15 (2 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
-
ACM Software Engineering Notes Vol. 22, n. 2, (1997) pp. 87-91
- … In The Assessment Of Ultra-Reliable Computerized Systems 1 Angelo Morzenti, Fabio A. Schreiber Dipartimento di…
- Add To MetaCart
-
A Model Parametric Real-Time Logic
- …1 A Model Parametric Real-Time Logic 1 2 Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi…
- Add To MetaCart
-
TRIO Specification of a Steam Boiler Controller
- …TRIO Specification of a Steam Boiler Controller Angelo Gargantini and Angelo Morzenti Politecnico…
- Add To MetaCart
-
From formal models to formally-based methods: an industrial experience
- … +, Alberto Coen-Porisini *, Ernani Crivelli^, Dino Mandrioli * , Piergiorgio Mirandola^ , Angelo Morzenti…
- Cited by 9 (2 self) – Add To MetaCart
-
A theory of implementation and refinement in timed Petri nets
- … Petri nets Miguel Felder�, Angelo Gargantini�, Angelo Morzenti��* �Facultad de Ciencias Exactas y…
- Cited by 2 (0 self) – Add To MetaCart
-
Morzenti: “Automated compositional proofs for real-time systems
- … Mandrioli, and Angelo Morzenti Dipartimento di Elettronica e Informazione Politecnico di Milano 32, Piazza…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
