Validation, synthesis and optimization for cyber-physical systems

Kim Guldstrand Larsen*

*Kontaktforfatter

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

5 Citationer (Scopus)
OriginalsprogEngelsk
TitelTools 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
Antal sider18
Vol/bind10205 LNCS
ForlagSpringer
Publikationsdato2017
Sider3-20
ISBN (Trykt)9783662545768
DOI
StatusUdgivet - 2017
Begivenhed23rd 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, Sverige
Varighed: 22 apr. 201729 apr. 2017

Konference

Konference23rd 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
Land/OmrådeSverige
By Uppsala
Periode22/04/201729/04/2017
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind10205 LNCS
ISSN0302-9743

Citationsformater