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

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

Original languageDanish
Title of host publicationPROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning : TIME 2016
Number of pages1
PublisherIEEE
Publication date2016
ISBN (Electronic)978-1-5090-3825-1
DOIs
Publication statusPublished - 2016
EventTIME 2016: Temporal Representation and Reasoning - Technical University of Denmark, Lyngby, Denmark
Duration: 17 Oct 2016 → …

Conference

ConferenceTIME 2016
LocationTechnical University of Denmark
CountryDenmark
CityLyngby
Period17/10/2016 → …

Cite this

Larsen, K. G. (2016). Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. In 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. in PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, TIME 2016, Lyngby, Denmark, 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.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-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. In PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE. 2016 https://doi.org/10.1109/TIME.2016.31