Automatic Analysis of a Safety Critical Tele Control System.

Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci

Browse the full SAFECOMP paper archive.