Searching for authors named Diego Latella – sorted by Relevance.
-
Is the safety case reflected in the report outline
- Latella Consiglio Nazionale delle Ricerche Ist. CNUCE Via Moruzzi 1, I56124 Pisa, Italy diego.latella
- Cited by 4 (2 self) – Add To MetaCart
-
A Fully Parallel Calculus of Synchronizing Processes
- A Fully Parallel Calculus of Synchronizing Processes ? Diego Latella y Paola Quaglia z y CNR
- Cited by 1 (1 self) – Add To MetaCart
-
Design Validation of Embedded Dependable Systems
- DESIGN VALIDATION OF EMBEDDED 52 Andrea Bondavalli Alessandro Fantechi University of Firenze Diego
- Add To MetaCart
-
Metric Semantics for True Concurrent Real Time
- Metric Semantics for True Concurrent Real Time Joost-Pieter Katoen a;1 Christel Baier b Diego
- Cited by 2 (0 self) – Add To MetaCart
-
Towards A Formal Operational Semantics Of Uml Statechart Diagrams
- TOWARDS A FORMAL OPERATIONAL SEMANTICS OF UML STATECHART DIAGRAMS Diego Latellay Istvan Majzikz
- Cited by 49 (10 self) – Add To MetaCart
-
On Specifying Real-Time Systems in a Causality-Based Setting
- Langerak a , Diego Latella b and Ed Brinksma a a Faculty of Computing Science, University of Twente
- Cited by 4 (3 self) – Add To MetaCart
-
Performance Analysis and True Concurrency Semantics
- Langerak & Diego Latella Memorandum Informatica 94-39 Memorandum TIOS 94-10 Performance Analysis and True
- Cited by 10 (5 self) – Add To MetaCart
-
A Stochastic Causality-Based Process Algebra
- Langerak 1 and Diego Latella 2 1 Department of Computing Science, University of Twente P.O. Box 217
- Cited by 26 (8 self) – Add To MetaCart
-
Stochastic Simulation of Event Structures
- Stochastic Simulation of Event Structures Joost-Pieter Katoen a , Ed Brinksma a , Diego Latella
- Cited by 11 (7 self) – Add To MetaCart
-
Modeling Systems by Probabilistic Process Algebra: An Event Structures Approach
- -Pieter Katoen a and Rom Langerak a and Diego Latella b a Department of Computer Science, University
- Cited by 14 (6 self) – Add To MetaCart

