Validation, synthesis and optimization for cyber-physical systems

Kim Guldstrand Larsen

doi:10.1007/978-3-662-54577-5_1

Validation, synthesis and optimization for cyber-physical systems

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

5 Citations (Scopus)

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings
Number of pages	18
Volume	10205 LNCS
Publisher	Springer
Publication date	2017
Pages	3-20
ISBN (Print)	9783662545768
DOIs	https://doi.org/10.1007/978-3-662-54577-5_1
Publication status	Published - 2017
Event	23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 - Uppsala, Sweden Duration: 22 Apr 2017 → 29 Apr 2017

Conference

Conference	23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017
Country/Territory	Sweden
City	Uppsala
Period	22/04/2017 → 29/04/2017

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10205 LNCS
ISSN	0302-9743

Access to Document

10.1007/978-3-662-54577-5_1

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Larsen, K. G. (2017). Validation, synthesis and optimization for cyber-physical systems. In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (Vol. 10205 LNCS, pp. 3-20). Springer. https://doi.org/10.1007/978-3-662-54577-5_1

Larsen, Kim Guldstrand. / Validation, synthesis and optimization for cyber-physical systems. Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Vol. 10205 LNCS Springer, 2017. pp. 3-20 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10205 LNCS).

@inproceedings{18a40653ea184572a0322382b68c7dab,

title = "Validation, synthesis and optimization for cyber-physical systems",

author = "Larsen, {Kim Guldstrand}",

year = "2017",

doi = "10.1007/978-3-662-54577-5_1",

language = "English",

isbn = "9783662545768",

volume = "10205 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "3--20",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings",

address = "Germany",

note = "23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 ; Conference date: 22-04-2017 Through 29-04-2017",

}

Larsen, KG 2017, Validation, synthesis and optimization for cyber-physical systems. in Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. vol. 10205 LNCS, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10205 LNCS, pp. 3-20, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 22/04/2017. https://doi.org/10.1007/978-3-662-54577-5_1

Validation, synthesis and optimization for cyber-physical systems. / Larsen, Kim Guldstrand.
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Vol. 10205 LNCS Springer, 2017. p. 3-20 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10205 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Validation, synthesis and optimization for cyber-physical systems

AU - Larsen, Kim Guldstrand

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-662-54577-5_1

DO - 10.1007/978-3-662-54577-5_1

M3 - Article in proceeding

AN - SCOPUS:85017504164

SN - 9783662545768

VL - 10205 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 20

BT - Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings

PB - Springer

T2 - 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017

Y2 - 22 April 2017 through 29 April 2017

ER -

Larsen KG. Validation, synthesis and optimization for cyber-physical systems. In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Vol. 10205 LNCS. Springer. 2017. p. 3-20. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10205 LNCS). doi: 10.1007/978-3-662-54577-5_1