N.-A. Razermera-Mamy

Model-checking for validation of a fault protection system

Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy, 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.