Projects

• CONCUR, 1992-1995

  • EU-project, BRA, several partners

• BRICS, Basic Research in Computer Science, 1993-2003

  • Aarhus & Aalborg (32+40+40Millkr)

• VVS (Verification & Validation of Systems)

  • BEOLOGIC, DTU, Aalborg, CIT

• VHS (Verifiable Hybrid Systems), EU LTR, 1998-

• UPPAAL, DoCS@Uppsala & BRICS@Aalborg

Previous slide

Next slide

Back to first slide

View graphic version