Timing contracts for multi-core embedded control systems

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01912683
Contributor : Antoine Girard <>
Submitted on : Monday, November 5, 2018 - 3:46:55 PM
Last modification on : Wednesday, November 7, 2018 - 1:11:11 AM

Identifiers

  • HAL Id : hal-01912683, version 1

Citation

Mohammad Al Khatib, Antoine Girard, Thao Dang. Timing contracts for multi-core embedded control systems. Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel. Control subject to Computational and Communication Constraints, 475, Springer, pp.97-118, 2018, Lecture Notes in Control and Information Sciences. ⟨hal-01912683⟩

Share

Metrics

Record views

105