FosterEvolution
3rd South-East European Workshop on Formal Methods (SEEFM07)
Recent Publications
- Formal Certification and Compliance for Run-Time Service Environments (SCC2012)
- Safety, Certification and Compliance for Software Services (WESOA11)
- Dynamic Creation of Monitoring Infrastructures
- SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs
- Sixth International Workshop on Automation of Software Test (AST11)