Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

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

OriginalsprogDansk
TitelPROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning : TIME 2016
Antal sider1
ForlagIEEE
Publikationsdato2016
ISBN (Elektronisk)978-1-5090-3825-1
DOI
StatusUdgivet - 2016
BegivenhedTIME 2016: Temporal Representation and Reasoning - Technical University of Denmark, Lyngby, Danmark
Varighed: 17 okt. 2016 → …

Konference

KonferenceTIME 2016
LokationTechnical University of Denmark
LandDanmark
ByLyngby
Periode17/10/2016 → …

Citationsformater