Projects


 

Affiliated Projects


AVACS

  • Phase 1: 2004-2007 PI in subproject R1 (2005-2007)
  • Phase 2: 2008-2011 PI in subprojects R1 and H3
  • Phase 3: 2012-2015 PI in subprojects R1 and H3

    DFG SFB Transregio "Automatic Verification And Analysis of Complex Systems"

    Project Summary

    Projects' web presence