| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Campagnano, Edoardo; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico | Automatic Analysis of a Safety Critical Tele Control System | 2005 | 24th International Conference on: Computer Safety, Reliability, and Security (SAFECOMP) | Springer | 3-540-29200-4 | 10.1007/11563228_8 | 94-107 |