Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019 - Sorbonne Université Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2021

Dates and versions

hal-03251314 , version 1 (11-06-2021)

Identifiers

Cite

Fabrice Kordon, Lom Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. International Journal on Software Tools for Technology Transfer, 2021, ⟨10.1007/s10009-021-00615-1⟩. ⟨hal-03251314⟩
140 View
184 Download

Altmetric

Share

Gmail Facebook X LinkedIn More