A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Monir Chadli, Jin Hyun Kim, Axel Legay, Louis Marie Traonouez, Stefan Naujokat, Steffen Bernhard, Kim Guldstrand Larsen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationCritical Systems : Formal Methods and Automated Verification
PublisherSpringer
Publication date2016
Pages133–141
ISBN (Print)978-3-319-45942-4
ISBN (Electronic)978-3-319-45943-1
DOIs
Publication statusPublished - 2016
EventFMICS: Critical Systems: Formal Methods and Automated Verification - Pisa, Italy
Duration: 26 Sep 201628 Sep 2016
Conference number: 21

Conference

ConferenceFMICS
Number21
CountryItaly
CityPisa
Period26/09/201628/09/2016
SeriesLecture Notes in Computer Science
Volume9933
ISSN0302-9743

Cite this

Chadli, M., Kim, J. H., Legay, A., Traonouez, L. M., Naujokat, S., Bernhard, S., & Larsen, K. G. (2016). A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. In Critical Systems: Formal Methods and Automated Verification (pp. 133–141). Springer. Lecture Notes in Computer Science, Vol.. 9933 https://doi.org/10.1007/978-3-319-45943-1_9
Chadli, Monir ; Kim, Jin Hyun ; Legay, Axel ; Traonouez, Louis Marie ; Naujokat, Stefan ; Bernhard, Steffen ; Larsen, Kim Guldstrand. / A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. Critical Systems: Formal Methods and Automated Verification. Springer, 2016. pp. 133–141 (Lecture Notes in Computer Science, Vol. 9933).
@inproceedings{9ad16f92875340989ba0b0f672d036d7,
title = "A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems",
author = "Monir Chadli and Kim, {Jin Hyun} and Axel Legay and Traonouez, {Louis Marie} and Stefan Naujokat and Steffen Bernhard and Larsen, {Kim Guldstrand}",
year = "2016",
doi = "10.1007/978-3-319-45943-1_9",
language = "English",
isbn = "978-3-319-45942-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "133–141",
booktitle = "Critical Systems",
address = "Germany",

}

Chadli, M, Kim, JH, Legay, A, Traonouez, LM, Naujokat, S, Bernhard, S & Larsen, KG 2016, A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. in Critical Systems: Formal Methods and Automated Verification. Springer, Lecture Notes in Computer Science, vol. 9933, pp. 133–141, Pisa, Italy, 26/09/2016. https://doi.org/10.1007/978-3-319-45943-1_9

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. / Chadli, Monir; Kim, Jin Hyun; Legay, Axel; Traonouez, Louis Marie; Naujokat, Stefan ; Bernhard, Steffen; Larsen, Kim Guldstrand.

Critical Systems: Formal Methods and Automated Verification. Springer, 2016. p. 133–141 (Lecture Notes in Computer Science, Vol. 9933).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

AU - Chadli, Monir

AU - Kim, Jin Hyun

AU - Legay, Axel

AU - Traonouez, Louis Marie

AU - Naujokat, Stefan

AU - Bernhard, Steffen

AU - Larsen, Kim Guldstrand

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-45943-1_9

DO - 10.1007/978-3-319-45943-1_9

M3 - Article in proceeding

SN - 978-3-319-45942-4

T3 - Lecture Notes in Computer Science

SP - 133

EP - 141

BT - Critical Systems

PB - Springer

ER -

Chadli M, Kim JH, Legay A, Traonouez LM, Naujokat S, Bernhard S et al. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. In Critical Systems: Formal Methods and Automated Verification. Springer. 2016. p. 133–141. (Lecture Notes in Computer Science, Vol. 9933). https://doi.org/10.1007/978-3-319-45943-1_9