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
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
Document type :
Journal articles
Complete list of metadatas

https://hal.univ-brest.fr/hal-01868846
Contributor : Frank Singhoff <>
Submitted on : Thursday, September 6, 2018 - 12:12:19 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:35 PM

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

64