Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

Kim Guldstrand Larsen

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

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

Original language	English
Title of host publication	PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems
Publisher	SCITEPRESS Digital Library
Publication date	17 Jul 2014
Pages	IS-9
ISBN (Print)	978-989-758-000-0
Publication status	Published - 17 Jul 2014
Event	PECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems - Lisbon, Portugal Duration: 7 Jan 2014 → 9 Jan 2014 Conference number: 4th

Conference

Conference	PECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems
Number	4th
Country/Territory	Portugal
City	Lisbon
Period	07/01/2014 → 09/01/2014

AUB Link

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

Cite this

@inproceedings{eba0cf1f239445c9b61673a13cbb2943,

title = "Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL",

author = "Larsen, {Kim Guldstrand}",

year = "2014",

month = jul,

day = "17",

language = "English",

isbn = "978-989-758-000-0",

pages = "IS--9",

booktitle = "PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems",

publisher = "SCITEPRESS Digital Library",

note = "PECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems, PECCS 2014 ; Conference date: 07-01-2014 Through 09-01-2014",

}

Larsen, KG 2014, Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. in PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, pp. IS-9, PECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems, Lisbon, Portugal, 07/01/2014.

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. / Larsen, Kim Guldstrand.
PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, 2014. p. IS-9.

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

TY - GEN

T1 - Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

AU - Larsen, Kim Guldstrand

N1 - Conference code: 4th

PY - 2014/7/17

Y1 - 2014/7/17

M3 - Article in proceeding

SN - 978-989-758-000-0

SP - IS-9

BT - PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems

PB - SCITEPRESS Digital Library

T2 - PECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems

Y2 - 7 January 2014 through 9 January 2014

ER -