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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelCritical Systems : Formal Methods and Automated Verification
ForlagSpringer
Publikationsdato2016
Sider133–141
ISBN (Trykt)978-3-319-45942-4
ISBN (Elektronisk)978-3-319-45943-1
DOI
StatusUdgivet - 2016
BegivenhedFMICS: Critical Systems: Formal Methods and Automated Verification - Pisa, Italien
Varighed: 26 sep. 201628 sep. 2016
Konferencens nummer: 21

Konference

KonferenceFMICS
Nummer21
LandItalien
ByPisa
Periode26/09/201628/09/2016
NavnLecture Notes in Computer Science
Vol/bind9933
ISSN0302-9743

Citer dette

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. I Critical Systems: Formal Methods and Automated Verification (s. 133–141). Springer. Lecture Notes in Computer Science, Bind. 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. s. 133–141 (Lecture Notes in Computer Science, Bind 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. i Critical Systems: Formal Methods and Automated Verification. Springer, Lecture Notes in Computer Science, bind 9933, s. 133–141, FMICS, Pisa, Italien, 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. s. 133–141 (Lecture Notes in Computer Science, Bind 9933).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. I Critical Systems: Formal Methods and Automated Verification. Springer. 2016. s. 133–141. (Lecture Notes in Computer Science, Bind 9933). https://doi.org/10.1007/978-3-319-45943-1_9