Formal Methods for SOA and Future Internet

Mission

Chair: Michael Leuschel

Related Projects

FITTEST - Future Internet Testing Future Internet Testing
FastFix Monitoring Control for Remote Software Maintenance

WG Actions