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 → …

Citer dette

Larsen, K. G. (2016). Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. I PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016 IEEE. https://doi.org/10.1109/TIME.2016.31
Larsen, Kim Guldstrand. / Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 2016.
@inbook{a938f53f60e048309c07704e7544df31,
title = "Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems",
author = "Larsen, {Kim Guldstrand}",
year = "2016",
doi = "10.1109/TIME.2016.31",
language = "Dansk",
booktitle = "PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning",
publisher = "IEEE",
address = "USA",

}

Larsen, KG 2016, Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. i PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, TIME 2016, Lyngby, Danmark, 17/10/2016. https://doi.org/10.1109/TIME.2016.31

Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. / Larsen, Kim Guldstrand.

PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 2016.

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

TY - ABST

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

AU - Larsen, Kim Guldstrand

PY - 2016

Y1 - 2016

U2 - 10.1109/TIME.2016.31

DO - 10.1109/TIME.2016.31

M3 - Konferenceabstrakt i proceeding

BT - PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning

PB - IEEE

ER -

Larsen KG. Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. I PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE. 2016 https://doi.org/10.1109/TIME.2016.31