Conference , Workshops Proceedings

Fault Detection in Timed FSM with Timeouts by SAT-Solving

Nguena Timo, O., Prestat, D. et Avellaneda, F. "Fault Detection in Timed FSM with Timeouts by SAT-Solving" dans 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS 2019), pp. 8. Sofia, Bulgaria, 22 to 26 July 2019

  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4