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

Citationsformater