Tool prototypes To enable the experiments of the devised formalisms and techniques on mini cases, we will provide support for these through a number of prototypical tools. These will be obtained in a systematic manner from (structural) operational semantics, allowing...
EMSIG Autumn School 2015 Embedded Systems Special Interest Group together with IDEA4CPS, Aalborg University and Technical University of Denmark organized an Autumn School on Embedded Systems in November 2015. The lectures were selected to span both embedded techniques...
IDEA4CPS research workshop Aalborg 2014 On September 25-26 IDEA4CPS organized a research workshop in Aalborg, with the participation of researchers from all the four partners of IDEA4CPS. The event took place at the Restaurant Skovbakken (inside Aalborg Zoo),...
IDEA4CPS 2nd General Meeting On 21-23 November 2012, the second General Meeting of the Sino-Danish Basic Research Center IDEA4CPS took place at East China Normal University, 3663 Zhongshan Road (North). Program: Wednesday, November 21 9:30~11:00 Registration and...
IDEA4CPS 1st General Meeting On March 19-21, 2012, the first General Meeting of the Sino-Danish Basic Research Center IDEA4CPS took place at Cassiopeia, Aalborg University, Denmark. Program: Monday March 19 – Room: 0.0.90 9.30-10.00 REGISTRATION...
Recent Comments