Scenario-based analysis and synthesis of real-time systems using Uppaal

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

11 Citations (Scopus)

Original language	English
Title of host publication	Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.
Publisher	European Design and Automation Association, EDAA
Publication date	Mar 2010
ISBN (Print)	978-3-9810801-6-2
Publication status	Published - Mar 2010
Event	13th Conference on Design, Automation, and Test in Europe (DATE'10) - Dresden, Germany Duration: 19 May 2010 → … Conference number: 13

Conference	13th Conference on Design, Automation, and Test in Europe (DATE'10)
Number	13
Country/Territory	Germany
City	Dresden
Period	19/05/2010 → …

Access to Document

Larsen, K. G., Li, S., Nielsen, B., & Pusinskas, S. (2010). Scenario-based analysis and synthesis of real-time systems using Uppaal. In Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany. European Design and Automation Association, EDAA. http://www.date-conference.com/proceedings/PAPERS/2010/DATE10/PDFFILES/04.6_3.PDF

@inproceedings{eab63680cd6311de9e10000ea68e967b,

title = "Scenario-based analysis and synthesis of real-time systems using Uppaal",

author = "Larsen, {Kim Guldstrand} and Shuhao Li and Brian Nielsen and Saulius Pusinskas",

year = "2010",

month = mar,

language = "English",

isbn = "978-3-9810801-6-2",

booktitle = "Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.",

publisher = "European Design and Automation Association, EDAA",

note = "13th Conference on Design, Automation, and Test in Europe (DATE'10) ; Conference date: 19-05-2010",

}

Larsen, KG, Li, S, Nielsen, B & Pusinskas, S 2010, Scenario-based analysis and synthesis of real-time systems using Uppaal. in Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA, 13th Conference on Design, Automation, and Test in Europe (DATE'10), Dresden, Germany, 19/05/2010. <http://www.date-conference.com/proceedings/PAPERS/2010/DATE10/PDFFILES/04.6_3.PDF>

Scenario-based analysis and synthesis of real-time systems using Uppaal. / Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian et al.
Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA, 2010.

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

TY - GEN

T1 - Scenario-based analysis and synthesis of real-time systems using Uppaal

AU - Larsen, Kim Guldstrand

AU - Li, Shuhao

AU - Nielsen, Brian

AU - Pusinskas, Saulius

N1 - Conference code: 13

PY - 2010/3

Y1 - 2010/3

M3 - Article in proceeding

SN - 978-3-9810801-6-2

BT - Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.

PB - European Design and Automation Association, EDAA

T2 - 13th Conference on Design, Automation, and Test in Europe (DATE'10)

Y2 - 19 May 2010

ER -