Searching for authors named "Marco Gribaudo" – sorted by Relevance.
-
SPN 2003 Preliminary Version Translating Hybrid Petri Nets into Hybrid Automata 1
- SPN 2003 Preliminary Version Translating Hybrid Petri Nets into Hybrid Automata 1 Marco
- Add To MetaCart
-
Model Checking Functional and Performability Properties of Stochastic Fluid Models 1 Abstract
- of Stochastic Fluid Models 1 Abstract Marco Gribaudo, András Horváth Dipartimento di Informatica, Università di
- Add To MetaCart
-
Graphical Modelling of Process Algebras with DrawNET
- of Computer Science University of Edinburgh 1 Introduction March 18, 2003 Marco Gribaudo Dipartimento di
- Cited by 4 (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
-
Framework for graph-based formalisms
- Framework for graph-based formalisms. Andrea Valente,Marco Gribaudo Dipartimento di Informatica
- Cited by 5 (4 self) – Add To MetaCart
-
A Distrlbuted Sensor Relocatlon Scheme for Environmental Control
- A Distrlbuted Sensor Relocatlon Scheme for Environmental Control Michele Garetto, Marco Gribaudo
- Add To MetaCart
-
Performance Analysis of Data Services over GPRS ⋆
- Performance Analysis of Data Services over GPRS ⋆ Marco Ajmone Marsan 1 , Marco Gribaudo 2
- Add To MetaCart
-
Two levels interchange format in XML for Petri Nets and other graph-based formalisms
- Valente,Marco Gribaudo valente@(email omitted); , marcog@(email omitted); Dipartimento di Informatica, Universita
- Add To MetaCart

