Projekter pr. år
Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronic Proceedings in Theoretical Computer Science |
Vol/bind | 105 |
Sider (fra-til) | 135-149 |
ISSN | 2075-2180 |
DOI | |
Status | Udgivet - 2012 |
Begivenhed | 1st International Workshop on Formal Techniques for Safety-Critical Systems - Kyoto, Japan Varighed: 12 nov. 2012 → 12 nov. 2012 |
Konference
Konference | 1st International Workshop on Formal Techniques for Safety-Critical Systems |
---|---|
Land/Område | Japan |
By | Kyoto |
Periode | 12/11/2012 → 12/11/2012 |
Projekter
- 1 Afsluttet
-
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
Projekter: Projekt › Forskning