Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Li Guangyuan, Danny Bøgsted Poulsen

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

2 Citationer (Scopus)
OriginalsprogEngelsk
Titel14th International Conference on Application of Concurrency to System Design (ACSD), 2014
ForlagIEEE Computer Society Press
Publikationsdato2014
Sider32 - 41
DOI
StatusUdgivet - 2014
Begivenhed14th International Conference on Application of Concurrency to System Design - Tunis , Tunesien
Varighed: 23 jun. 201427 jun. 2014
Konferencens nummer: 14th

Konference

Konference14th International Conference on Application of Concurrency to System Design
Nummer14th
LandTunesien
ByTunis
Periode23/06/201427/06/2014
NavnProceedings of the International Conference on Application of Concurrency to System Design
ISSN1550-4808

Citationsformater