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

doi:10.1007/978-3-319-45943-1_9

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

6 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Critical Systems : Formal Methods and Automated Verification
Forlag	Springer
Publikationsdato	2016
Sider	133–141
ISBN (Trykt)	978-3-319-45942-4
ISBN (Elektronisk)	978-3-319-45943-1
DOI	https://doi.org/10.1007/978-3-319-45943-1_9
Status	Udgivet - 2016
Begivenhed	FMICS: Critical Systems: Formal Methods and Automated Verification - Pisa, Italien Varighed: 26 sep. 2016 → 28 sep. 2016 Konferencens nummer: 21

Konference

Konference	FMICS
Nummer	21
Land/Område	Italien
By	Pisa
Periode	26/09/2016 → 28/09/2016

Navn	Lecture Notes in Computer Science
Vol/bind	9933
ISSN	0302-9743

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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{\textendash}141",

booktitle = "Critical Systems",

address = "Germany",

note = "FMICS ; Conference date: 26-09-2016 Through 28-09-2016",

}

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 et al.
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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

N1 - Conference code: 21

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

T2 - FMICS

Y2 - 26 September 2016 through 28 September 2016

ER -