PT Unknown
AU Cecconi, M
   Tronci, E
TI Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher
SE Hase
PY 2000
DI 10.1109/HASE.2000.895456
ER