Searching for authors named "Alessandro Fantechi" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Design Validation of Embedded Dependable Systems
- …DESIGN VALIDATION OF EMBEDDED 52 Andrea Bondavalli Alessandro Fantechi University of Firenze Diego…
- Add To MetaCart
-
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study
- …, Alessandro Fantechi, Luca Simoncini Dipartimento di Ingegneria dell'Informazione, Universit`a di Pisa Via…
- Cited by 3 (2 self) – Add To MetaCart
-
Witness and Counterexample Automata for ACTL
- …Witness and Counterexample Automata for ACTL Robert Meolic 1 , Alessandro Fantechi 2…
- Cited by 1 (0 self) – Add To MetaCart
-
Proving Safety Properties for Embedded Control Systems
- …Proving Safety Properties for Embedded Control Systems Cinzia Bernardeschi 1 , Alessandro…
- Cited by 2 (0 self) – Add To MetaCart
-
A Formal Verification Environment for Railway Signaling System Design
- …@(email omitted); Dipartimento di Ingegneria della Informazione, Universit`a di Pisa, Italy ALESSANDRO FANTECHI fantechi…
- Cited by 7 (5 self) – Add To MetaCart
-
Behavioural Contracts for a Sound Assembly of Components
- …Behavioural Contracts for a Sound Assembly of Components Cyril Carrez 1 , Alessandro Fantechi 2…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 6.
