Sitemap


Indicates the page you came from. Indicates the page you came from.


 Home


 

 About

       Partners

 

 People Indicates the page you came from.

       Principal Investigators

       Key Scientists

 

 Events

       Upcoming Events


       Past Events


 

 News


 

 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://www.ecnu.edu.cn/

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