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]

  • MuSAE Lab RT @MuSAELab: Check out our latest paper "On the Use of Blind Channel Response Estimation and a Residual Neural Network to Detect Physical…
  • La PME @sovotech, créée par le Centre de recherche informatique de Montréal, est passée aux mains de l’américaine V… https://t.co/zsNGpBkauR