Projects per year
Abstract
Original language | English |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015 |
Editors | Christel Baier, Cesare Tinelli |
Number of pages | 6 |
Place of Publication | London, UK |
Publisher | Springer |
Publication date | 2015 |
Pages | 206-211 |
ISBN (Print) | 978-3-662-46680-3 |
ISBN (Electronic) | 978-3-662-46681-0 |
DOIs | |
Publication status | Published - 2015 |
Event | Tools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom Duration: 11 Apr 2015 → 18 Apr 2015 Conference number: 21 |
Conference
Conference | Tools and Algorithms for the Construction and Analysis of Systems |
---|---|
Number | 21 |
Country/Territory | United Kingdom |
City | London |
Period | 11/04/2015 → 18/04/2015 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 9035 |
ISSN | 0302-9743 |
Fingerprint
Dive into the research topics of 'Uppaal Stratego'. Together they form a unique fingerprint.Projects
- 4 Finished
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), David, A. (Project Participant) & Srba, J. (Project Participant)
01/04/2013 → 31/03/2016
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Project Manager), Hansen, R. R. (Project Participant), Koch, P. (Project Participant), Nielsen, B. (Project Participant) & Skou, A. (Project Participant)
01/10/2012 → 30/09/2015
Project: Research
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)
01/11/2011 → 31/10/2014
Project: Research