Searching for authors named Nicola Mazzocca – sorted by Relevance.
-
Efficient Model Checking of Properties of a Distributed Application: a Multimedia Case Study
- Ecient Model Checking of Properties of a Distributed Application: a Multimedia Case Study 1 Nicola
- Add To MetaCart
-
Integrating Trace Logic and Petri Nets Specifications
- Integrating trace logic and Petri nets specifications Nicola Mazzocca, Stefano Russo, Valeria
- Cited by 2 (2 self) – Add To MetaCart
-
The Wabasoft Homepage. www.wabasoft.com
- -ORIENTED MODELLING Marco Gribaudo Mauro Iacono Nicola Mazzocca Valeria Vittorini Dipartimento di Informatica
- Cited by 1 (1 self) – Add To MetaCart
-
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework
- ∗ , Mazzocca Nicola † , Moscato Francesco ‡ , Vittorini Valeria † ∗ Dipartimento di Informatica, Universita’ di
- Add To MetaCart
-
Techniques for Reliability and Fault Tolerance in
- Iacono and Nicola Mazzocca Dip. Ingegneria dell’Informazione, Second University of Naples, Italy
- Add To MetaCart

