Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

Brian Nielsen, Zhengkui Zhang, Kim Guldstrand Larsen, Gilles Nies, Holger Hermanns, Marvin Stenger

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

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelFormal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
ForlagSpringer
Publikationsdato2017
Sider481-495
ISBN (Trykt)978-3-319-68689-9
ISBN (Elektronisk)978-3-319-68690-5
DOI
StatusUdgivet - 2017
Begivenhed19th International Conference on Formal Engineering Methods - , Kina
Varighed: 13 nov. 201717 nov. 2017
Konferencens nummer: 19

Konference

Konference19th International Conference on Formal Engineering Methods
Nummer19
Land/OmrådeKina
Periode13/11/201717/11/2017
NavnLecture Notes in Computer Science : Programming and Software Engineering
Vol/bind10610
ISSN0302-9743

Citationsformater