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

  • ????Une série de formations TI par les événements Les Affaires @la_lesaffaires Transformation numérique, Gestion des T… https://t.co/lkcsZ9BvXs
  • AIxSPACE RT @AIxSPACE_ca: ???? [IMPORTANT] In order to guarantee the safety of all, we have decided to postpone #AIxSPACE until January 18, 2021 // [IM…