Projects per year
Original language | English |
---|---|
Journal | Electronic Proceedings in Theoretical Computer Science |
Volume | 105 |
Pages (from-to) | 135-149 |
ISSN | 2075-2180 |
DOIs | |
Publication status | Published - 2012 |
Event | 1st International Workshop on Formal Techniques for Safety-Critical Systems - Kyoto, Japan Duration: 12 Nov 2012 → 12 Nov 2012 |
Conference
Conference | 1st International Workshop on Formal Techniques for Safety-Critical Systems |
---|---|
Country/Territory | Japan |
City | Kyoto |
Period | 12/11/2012 → 12/11/2012 |
Projects
- 1 Finished
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.
01/04/2011 → 30/04/2015
Project: Research