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

doi:10.1109/ACSD.2014.21

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

2 Citationer (Scopus)

Originalsprog	Engelsk
Titel	14th International Conference on Application of Concurrency to System Design (ACSD), 2014
Forlag	IEEE Computer Society Press
Publikationsdato	2014
Sider	32 - 41
DOI	https://doi.org/10.1109/ACSD.2014.21
Status	Udgivet - 2014
Begivenhed	14th International Conference on Application of Concurrency to System Design - Tunis , Tunesien Varighed: 23 jun. 2014 → 27 jun. 2014 Konferencens nummer: 14th

Konference

Konference	14th International Conference on Application of Concurrency to System Design
Nummer	14th
Land/Område	Tunesien
By	Tunis
Periode	23/06/2014 → 27/06/2014

Navn	Proceedings of the International Conference on Application of Concurrency to System Design
ISSN	1550-4808

Adgang til dokumentet

10.1109/ACSD.2014.21

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

David, Alexandre ; Larsen, Kim Guldstrand ; Legay, Axel et al. / Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, 2014. s. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

@inproceedings{dad02b79fe114e98bac1da402d6e1bbf,

title = "Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata",

author = "Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Li Guangyuan and Poulsen, {Danny B{\o}gsted}",

year = "2014",

doi = "10.1109/ACSD.2014.21",

language = "English",

series = "Proceedings of the International Conference on Application of Concurrency to System Design",

publisher = "IEEE Computer Society Press",

pages = "32 -- 41",

booktitle = "14th International Conference on Application of Concurrency to System Design (ACSD), 2014",

address = "United States",

note = "14th International Conference on Application of Concurrency to System Design, ACSD 2014 ; Conference date: 23-06-2014 Through 27-06-2014",

}

David, A, Larsen, KG, Legay, A, Guangyuan, L & Poulsen, DB 2014, Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. i 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, Proceedings of the International Conference on Application of Concurrency to System Design, s. 32 - 41, 14th International Conference on Application of Concurrency to System Design, Tunis , Tunesien, 23/06/2014. https://doi.org/10.1109/ACSD.2014.21

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel et al.
14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, 2014. s. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

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

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Guangyuan, Li

AU - Poulsen, Danny Bøgsted

N1 - Conference code: 14th

PY - 2014

Y1 - 2014

U2 - 10.1109/ACSD.2014.21

DO - 10.1109/ACSD.2014.21

M3 - Article in proceeding

T3 - Proceedings of the International Conference on Application of Concurrency to System Design

SP - 32

EP - 41

BT - 14th International Conference on Application of Concurrency to System Design (ACSD), 2014

PB - IEEE Computer Society Press

T2 - 14th International Conference on Application of Concurrency to System Design

Y2 - 23 June 2014 through 27 June 2014

ER -

David A, Larsen KG, Legay A, Guangyuan L, Poulsen DB. Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. I 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press. 2014. s. 32 - 41. (Proceedings of the International Conference on Application of Concurrency to System Design). doi: 10.1109/ACSD.2014.21