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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

6 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Models, Algorithms, Logics and Tools
Forlag	Springer
Publikationsdato	2017
ISBN (Trykt)	978-3-319-63120-2
ISBN (Elektronisk)	978-3-319-63121-9
DOI	https://doi.org/10.1007/978-3-319-63121-9_28
Status	Udgivet - 2017
Begivenhed	Essays 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	Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Periode	25/07/2017 → …
Internetadresse	https://link.springer.com/chapter/10.1007%2F978-3-319-63121-9_28

Navn	Lecture Notes in Computer Science
Vol/bind	10460
ISSN	0302-9743

Adgang til dokumentet

@inproceedings{13df7f0c306d4a6a93955f9a9086d43c,

title = "WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL",

author = "Franck Cassez and {Gonzalez de Aledo}, Pablo and Jensen, {Peter Gj{\o}l}",

year = "2017",

doi = "10.1007/978-3-319-63121-9_28",

language = "English",

isbn = "978-3-319-63120-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "Models, Algorithms, Logics and Tools",

address = "Germany",

note = "Essays Dedicated to Kim Guldstrand Larsen<br/>on the Occasion of His 60th Birthday ; Conference date: 25-07-2017",

url = "https://link.springer.com/chapter/10.1007%2F978-3-319-63121-9_28",

}

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. / Cassez, Franck; Gonzalez de Aledo, Pablo; Jensen, Peter Gjøl.
Models, Algorithms, Logics and Tools. Springer, 2017. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - WUPPAAL

T2 - Essays Dedicated to Kim Guldstrand Larsen<br/>on the Occasion of His 60th Birthday

AU - Cassez, Franck

AU - Gonzalez de Aledo, Pablo

AU - Jensen, Peter Gjøl

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-63121-9_28

DO - 10.1007/978-3-319-63121-9_28

M3 - Article in proceeding

SN - 978-3-319-63120-2

T3 - Lecture Notes in Computer Science

BT - Models, Algorithms, Logics and Tools

PB - Springer

Y2 - 25 July 2017

ER -