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]

  • Cet été, découvrez les experts du CRIM via la série "Portraits d'experts", réalisée avec @Mathysc ! #3: Lise Rebout… https://t.co/fjCqdcoKFC
  • C'est par ici > https://t.co/DG7Btp4qs8 https://t.co/8qryDAQq06