| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Cecconi, Michele; Tronci, Enrico | Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher | 2000 | Hase | IEEE Computer Society | 0-7695-0927-4 | 10.1109/HASE.2000.895456 |