The ADVANCE Project Homepage
Third Year Deliverables
Deliverables 14 and 15
: Methods and Tools for parametric reasoning, Methods and Tools for dynamic networks
Deliverables 16 and 17
: Integration of Tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework
Deliverable 18
: Case Studies
Deliverable 19
: Progress Report
Final Report
Full list of Publications