HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
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
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, IBNM - Institut Brestois du Numérique et des Mathématiques
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 : Wednesday, April 6, 2022 - 9:02:01 AM

Identifiers

  • HAL Id : hal-01868846, version 1

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⟩

Share

Metrics

Record views

39