|
Search the dblp DataBase
P. Marmo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
An Automatic SPIN Validation of a Safety Critical Railway Control System. [Citation Graph (0, 0)][DBLP] DSN, 2000, pp:119-124 [Conf]
- Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli
Experimental Evaluation of Computer-Based Railway Control Systems. [Citation Graph (0, 0)][DBLP] FTCS, 1997, pp:380-384 [Conf]
- Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. [Citation Graph (0, 0)][DBLP] TACAS, 2000, pp:535-549 [Conf]
Search in 0.002secs, Finished in 0.002secs
|