TY  - CONF
AU  - Cecconi, Michele
AU  - Tronci, Enrico
PY  - 2000
DA  - 2000//
TI  - Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher
BT  - Hase
PB  - IEEE Computer Society
SN  - 0-7695-0927-4
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Cecconi2000.pdf
UR  - https://doi.org/10.1109/HASE.2000.895456
DO  - 10.1109/HASE.2000.895456
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=29), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Cecconi+Tronci2000
ER  -