WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Franck Cassez, Pablo Gonzalez de Aledo, Peter Gjøl Jensen

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

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelModels, Algorithms, Logics and Tools
ForlagSpringer
Publikationsdato2017
ISBN (Trykt)978-3-319-63120-2
ISBN (Elektronisk)978-3-319-63121-9
DOI
StatusUdgivet - 2017
BegivenhedEssays Dedicated to Kim Guldstrand Larsen
on the Occasion of His 60th Birthday
-
Varighed: 25 jul. 2017 → …
https://link.springer.com/chapter/10.1007%2F978-3-319-63121-9_28

Andet

AndetEssays Dedicated to Kim Guldstrand Larsen
on the Occasion of His 60th Birthday
Periode25/07/2017 → …
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind10460
ISSN0302-9743

Citationsformater