Verification of Scheduling Properties Based on Execution Traces - Université de Bretagne Occidentale Access content directly
Journal Articles Ada User Journal Year : 2018
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01868846 , version 1

Cite

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⟩
43 View
0 Download

Share

Gmail Facebook X LinkedIn More