Acte de conférence, colloque et atelier

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, du 22 au 26 juillet 2019