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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publication14th International Conference on Application of Concurrency to System Design (ACSD), 2014
PublisherIEEE Computer Society Press
Publication date2014
Pages32 - 41
DOIs
Publication statusPublished - 2014
Event14th International Conference on Application of Concurrency to System Design - Tunis , Tunisia
Duration: 23 Jun 201427 Jun 2014
Conference number: 14th

Conference

Conference14th International Conference on Application of Concurrency to System Design
Number14th
CountryTunisia
CityTunis
Period23/06/201427/06/2014
SeriesProceedings of the International Conference on Application of Concurrency to System Design
ISSN1550-4808

Cite this