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

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

OriginalsprogEngelsk
TitelPECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems
ForlagSCITEPRESS Digital Library
Publikationsdato17 jul. 2014
SiderIS-9
ISBN (Trykt)978-989-758-000-0
StatusUdgivet - 17 jul. 2014
BegivenhedPECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems - Lisbon, Portugal
Varighed: 7 jan. 20149 jan. 2014
Konferencens nummer: 4th

Konference

KonferencePECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems
Nummer4th
Land/OmrådePortugal
ByLisbon
Periode07/01/201409/01/2014

Citationsformater