MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Luca Simoncini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Design Validation of Embedded Dependable Systems
by Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini — 2001
… Latella Luca Simoncini CNUCE Institute DEPENDABLE SYSTEMS EMBEDDED COMPLEX SYSTEMS REQUIRE AN INTEGRATED…
Add To MetaCart

Data Flow control systems: example of safety validation
by Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli — 1993 — Proceedings SAFECOMP'93
…Data Flow Control Systems: an Example of Safety Validation Cinzia Bernardeschi, Luca Simoncini…
Cited by 2 (2 self) – Add To MetaCart

Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study
by Cinzia Bernardeschi, Alessandro Fantechi, Ro Fantechi, Luca Simoncini — 1994 — Proc. EDCC-1
…, Alessandro Fantechi, Luca Simoncini Dipartimento di Ingegneria dell'Informazione, Universit`a di Pisa Via…
Cited by 3 (2 self) – Add To MetaCart

Integrated Validation of Dependable Systems
by Andrea Bondavalli Alessandro, Ro Fantechi, Diego Latella, Luca Simoncini
… Latella* and Luca Simoncini*** *CNUCE-CNR, Pisa, Italy **University of Florence and IEI-CNR, Italy…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB