Indicates the page you came from.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z " 2
A
AboutARTIST Summer School in China 2011
C
Compositionality versus Global Characteristic FeaturesContactCross-level Property PreservationCyber security: Flemming Nielson interviewed on Danish radio
E
Events
F
Flemming Nielson interviewed on Danish national radioFlemming Nielson interviewed on Danish TVFORMATS 2011
G
General Meeting Day 1: PicturesGeneral Meeting Day 2: PicturesGeneral Meeting Day 3: Pictures
H
Home
I
IDEA4CPS 1st General MeetingIDEA4CPS 2nd General MeetingInauguration of IDEA4CPS
K
Key ScientistsKim Guldstrand Larsen interviewed in Danish newspaper
L
Log-in page
M
Mini cases
N
News
P
PartnersPast EventsPhD course: Introduction to Logic and Model TheoryPhD positionsPI of IDEA4CPS Kim Guldstrand Larsen member of Academia EuropaeaPrincipal InvestigatorsPrincipal Investigators
R
Research
S
SearchSitemapSpecification and Modeling Formalisms
T
Tool prototypes
U
Upcoming Events
V
Validation and Analysis Techniques
"
"Humanity's nervous system"
2
2nd General Meeting - Day 1 - Pictures2nd General Meeting - Day 2 - Pictures2nd General Meeting - Day 3 - Pictures2nd International PhD School on Quantitative Model Checking
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.
