Searching for authors named "Simona Bernardi" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
ËØ�Ø � ��ÖØ × Ó � Ø� � ÍÒ�¬� � ÅÓ��Ð�Ò � Ä�Ò�Ù�� � ÍÅÄ �ÓÖ
- …ABSTRACT From UML Sequence Diagrams and Statecharts to analysable Petri Net models Simona Bernardi…
- Add To MetaCart
-
Design, Reliability, Standardization
- …A UML Profile for Dependability Analysis of RealTime Embedded Systems ABSTRACT Simona Bernardi…
- Add To MetaCart
-
On Performance Bounds for Interval Time Petri Nets
- …On performance bounds for interval Time Petri Nets £ Simona Bernardi Dipartimento di Informatica…
- Cited by 1 (0 self) – Add To MetaCart
-
Building Petri net scenarios for dependable automation systems
- … Building Petri net scenarios for dependable automation systems Simona Bernardi and Susanna…
- Cited by 5 (3 self) – Add To MetaCart
-
Qos assessment via stochastic analysis
- …Application-Level QoS Simona Bernardi Università di Torino, Italy José Merseguer Universidad de…
- Cited by 2 (1 self) – Add To MetaCart
-
Petriu: Comparing two UML Profiles for Non-functional Requirement Annotations
- … � Simona Bernardi 1 and Dorina C. Petriu 2 1 Dipartimento di Informatica Università di Torino, Torino…
- Cited by 3 (0 self) – Add To MetaCart
-
Petri Nets and Dependability
- …Petri Nets and dependability Simona Bernardi 1 , Andrea Bobbio 2 , and Susanna Donatelli 1 1…
- Cited by 1 (0 self) – Add To MetaCart
-
From UML Sequence Diagrams and Statecharts to analysable Petri Net models
- … From UML Sequence Diagrams and Statecharts toanalysable Petri Net models Simona Bernardi…
- Cited by 51 (10 self) – Add To MetaCart
-
Concurrent Generalized Petri Nets: Regenerative Conditions
- … Concurrent Generalized Petri Nets: Regenerative Conditions Simona Bernardi, Gianfranco Balbo…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 9.
