Verification of Scheduling Properties Based on Execution Traces - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, site de l'UBO Accéder directement au contenu
Article Dans Une Revue Ada User Journal Année : 2018

Verification of Scheduling Properties Based on Execution Traces

Valérie-Anne Nicolas
Mounir Lallali
Stéphane Rubini
Lab-STICC_UBO_CACS_MOCS
Frank Singhoff
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Lab-STICC_UBO_CACS_MOCS
CV

Domaines

Informatique [cs]

Frank Singhoff  : Connectez-vous pour contacter le contributeur

https://hal.univ-brest.fr/hal-01868846

Soumis le : jeudi 6 septembre 2018-00:12:19

Dernière modification le : mercredi 10 janvier 2024-13:58:03

Fichier non déposé

Dates et versions

hal-01868846 , version 1 (06-09-2018)

Identifiants

  • HAL Id : hal-01868846 , version 1

Citer

Valérie-Anne Nicolas, Mounir Lallali, Stéphane Rubini, Frank Singhoff. Verification of Scheduling Properties Based on Execution Traces. Ada User Journal, 2018. ⟨hal-01868846⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS LAB-STICC_UBO ENIB LAB-STICC IBNM
42 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More