MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Dario Romano" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

A Formal Verification Environment for Railway Signaling System Design
by Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano — 1998 — Formal Methods in System Design
… AND DARIO ROMANO gimonfromanog@(email omitted); Ansaldo Trasporti, Genova - Napoli, Italy Received…
Cited by 7 (5 self) – Add To MetaCart

Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System.
by Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso — 1997
…. Alessandro Cimatti 1 , Fausto Giunchiglia 1 , Giorgio Mongardi 2 , Dario Romano 3 , Fernando Torielli…
Cited by 13 (3 self) – Add To MetaCart

Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System
by Cimatti Giunchiglia Mongardi, F. Traverso P, Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano — 1997
… 2 , Dario Romano 3 , Fernando Torielli 2 , Paolo Traverso 1 1 Istituto per la Ricerca…
Add To MetaCart

Showing 1 through 3.

ATOM

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