Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Article Dans Une Revue IJCCBS Année : 2014

Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction

Domaines

Informatique et langage [cs.CL]

David Filliat  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01762691

Soumis le : mardi 10 avril 2018-13:19:57

Dernière modification le : vendredi 8 mars 2024-11:54:45

Fichier non déposé

Dates et versions

hal-01762691 , version 1 (10-04-2018)

Identifiants

Citer

Nesrine Harrath, Bruno Monsuez. Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. IJCCBS, 2014, 5 (3/4), pp.268--299. ⟨10.1504/IJCCBS.2014.064666⟩. ⟨hal-01762691⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA CNAM ENSTA_U2IS CEDRIC-CNAM HESAM
25 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More