Contact

If you would like to learn more about IDEA4CPS, please contact:

Rikke W. Uhrenholt

Selma Lagerlöfs Vej 300

DK-9220 Aalborg Ø

Phone: +45 99 40 72 20

E-mail

Contact

RESEARCH

	Specification and Modeling Formalisms

	Validation and Analysis Techniques

	Compositionality vs Global Characteristic Features

	Cross-level Property Preservation

	Mini cases

	Tool prototypes

LINKS

http://english.is.cas.cn/

http://www.dtu.dk/English

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

Alphabetical index | Sitemap