Number of cases campus Koblenz: 0 (warning level Grün) Action plan

Projects

Projects


AVACS


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

Project Summary

Projects' web presence


  • 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