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

  • Le 4 mars, participez au Webinaire sur le DATALAB pour découvrir comment cette approche progressive peut vous aider… https://t.co/zJmrfNB84I
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…