%0 Conference Proceedings
%T Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher
%A Cecconi, Michele
%A Tronci, Enrico
%S Hase
%D 2000
%I IEEE Computer Society
%@ 0-7695-0927-4
%F Cecconi+Tronci2000
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=29), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%R 10.1109/HASE.2000.895456
%U http://mclab.di.uniroma1.it/publications/papers/papers/Cecconi2000.pdf
%U https://doi.org/10.1109/HASE.2000.895456