Indicates the page you came from.
Home
Log-in page
About
Partners
People
Principal Investigators
Key Scientists
Events
Upcoming Events
General Meeting Day 3: Pictures General Meeting Day 2: Pictures General Meeting Day 1: Pictures
Past Events
Inauguration of IDEA4CPS ARTIST Summer School in China 2011 FORMATS 2011 PhD course: Introduction to Logic and Model Theory 2nd International PhD School on Quantitative Model Checking IDEA4CPS 1st General Meeting IDEA4CPS 2nd General Meeting
News
Kim Guldstrand Larsen interviewed in Danish newspaper "Humanity's nervous system" Flemming Nielson interviewed on Danish TV PI of IDEA4CPS Kim Guldstrand Larsen member of Academia Europaea Cyber security: Flemming Nielson interviewed on Danish radio Flemming Nielson interviewed on Danish national radio PhD positions
Research
Specification and Modeling Formalisms
Validation and Analysis Techniques
Compositionality versus Global Characteristic Features
Cross-level Property Preservation
Mini cases
Tool prototypes
Contact
LINKS
http://english.is.cas.cn/
http://www.dtu.dk/English
http://www.en.aau.dk
http://www.cs.aau.dk/en
http://ctic.au.dk/
PARTNERS
FINANCED BY
The Danish National Research Foundation objective is to promote and stimulate basic research at the highest international level at the frontiers of all scientific fields. Read more:
www.dg.dk/en
Indicates the page you came from.
