| 1998 |
|---|
| 3 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Giorgio Mongardi,
Dario Romano:
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods in System Design 12(2): 139-161 (1998) |
| 1995 |
|---|
| 2 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Gioia Ristori:
Verifying hardware components within JACK.
CHARME 1995: 246-260 |
| 1994 |
|---|
| 1 | | Amar Bouali,
Stefania Gnesi,
Salvatore Larosa:
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bulletin of the EATCS 54: 207-223 (1994) |
