Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019 - Archive ouverte HAL
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2021

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

Domaines

Génie logiciel [cs.SE] Systèmes embarqués Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
sttt-mcc15-19.pdf (1.79 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Fabrice Kordon  : Connectez-vous pour contacter le contributeur

https://hal.sorbonne-universite.fr/hal-03251314

Soumis le : vendredi 11 juin 2021-09:35:04

Dernière modification le : mercredi 30 octobre 2024-13:33:49

Archivage à long terme le : dimanche 12 septembre 2021-18:30:34

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES UNAM LIP6 LS2N LS2N-STR SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES UNIV-PARIS-NANTERRE NANTES-UNIVERSITE
173 Consultations
207 Téléchargements

Altmetric

Partager

More