Conference , Workshops Proceedings

A Model Checking Approach ...

Hallal, H., Petrenko, A., Boroday, S. and Ulrich, A. "A Model Checking Approach to Network Fault Management" in Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI2004), pp. 284-289. FL, Orlando, USA
[Full text] [Abstract]

  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg
  • @TECHNOCompetenc et le CRIM présentent une Classe de Maîtres sur les nouveaux standards Web et Angular en collabora… https://t.co/4718RrHKfa