Verification of Scheduling Properties Based on Execution Traces - Université de Bretagne Occidentale
Journal Articles Ada User Journal Year : 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

Domains

Computer Science [cs]

Frank Singhoff  : Connect in order to contact the contributor

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

Submitted on : Thursday, September 6, 2018-12:12:19 AM

Last modification on : Tuesday, August 27, 2024-12:49:18 PM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST CNRS LAB-STICC_UBO ENIB LAB-STICC IBNM
46 View
0 Download

Share

More