Model checking of finite-state machine-based scenario-aware dataflow using timed automata

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

10 Citationer (Scopus)
OriginalsprogEngelsk
Titel2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings
Antal sider10
ForlagIEEE
Publikationsdato10 aug. 2015
Sider235-244
Artikelnummer7185065
ISBN (Trykt)9781467377119
DOI
StatusUdgivet - 10 aug. 2015
Begivenhed10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Siegen, Tyskland
Varighed: 8 jun. 201510 jun. 2015

Konference

Konference10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015
Land/OmrådeTyskland
BySiegen
Periode08/06/201510/06/2015

Fingeraftryk

Dyk ned i forskningsemnerne om 'Model checking of finite-state machine-based scenario-aware dataflow using timed automata'. Sammen danner de et unikt fingeraftryk.

Citationsformater