DIAMOND technical meeting in Munich
May 3, 2010, Munich. A full-day DIAMOND meeting was held in Munich Airport, Germany. The topic under discussion was collaborative development of the system-level diagnosis and repair software in DIAMOND. There were presentations from three beneficiaries of the project: Tallinn University of Technology, Graz University of Technology and Bremen University. In particular the partners involved agreed on the basic structure and of the new system-level debug tool FoREnSiC (Formal Repair Engine for Simple C).
04. 05. 2010