Skip to Main content Skip to Navigation
New interface
Journal articles

Verification of Scheduling Properties Based on Execution Traces

Valérie-Anne Nicolas Mounir Lallali Stéphane Rubini 1 Frank Singhoff 2, 1 
1 Lab-STICC_UBO_CACS_MOCS
IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Document type :
Journal articles
Complete list of metadata
https://hal.univ-brest.fr/hal-01868846
Contributor : Frank Singhoff Connect in order to contact the contributor
Submitted on : Thursday, September 6, 2018 - 12:12:19 AM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM

Identifiers

  • HAL Id : hal-01868846, version 1

Collections

UNIV-BREST | INSTITUT-TELECOM | CNRS | LAB-STICC_UBO | ENIB | LAB-STICC | IBNM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

40