TRAP: trace runtime analysis of properties - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Frontiers of Computer Science Année : 2020

TRAP: trace runtime analysis of properties

Domaines

Systèmes embarqués
Fichier principal
Vignette du fichier
fcs-17217.pdf (5.79 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Frédéric Mallet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02402957

Soumis le : mercredi 8 janvier 2020-08:46:10

Dernière modification le : lundi 26 février 2024-11:22:07

Archivage à long terme le : jeudi 9 avril 2020-13:38:18

Télécharger pour visualiser

Dates et versions

hal-02402957 , version 1 (08-01-2020)

Identifiants

Citer

Daian Yue, Vania Joloboff, Frédéric Mallet. TRAP: trace runtime analysis of properties. Frontiers of Computer Science, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩. ⟨hal-02402957⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA I3S CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-COTEDAZUR UNIV-RENNES UR1-MATH-NUM
134 Consultations
197 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More