![]() | ![]() |
| 2005 | ||
|---|---|---|
| 1 | Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci: Automatic Analysis of a Safety Critical Tele Control System. SAFECOMP 2005: 94-107 | |
| 1 | Ester Ciancamerla | [1] |
| 2 | Michele Minichino | [1] |
| 3 | Enrico Tronci | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page