Rewriting logic semantics for SystemC scheduler - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Review on Computers and Software (IRECOS) Année : 2009

Rewriting logic semantics for SystemC scheduler

Domaines

Electromagnétisme

sophie gaffé-clément  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00366590

Soumis le : lundi 9 mars 2009-10:32:26

Dernière modification le : mardi 12 septembre 2023-10:12:02

Fichier non déposé

Dates et versions

hal-00366590 , version 1 (09-03-2009)

Identifiants

  • HAL Id : hal-00366590 , version 1

Citer

F. Boutekkouk, Sébastien Bilavarn, Michel Auguin, M. Benmohammed. Rewriting logic semantics for SystemC scheduler. International Review on Computers and Software (IRECOS), 2009. ⟨hal-00366590⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-COTEDAZUR
52 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More