Publications
] .
2014. Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming. 80:188–209.
The TREsPASS Project
Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
This project receives funding from the European Commission's Seventh Framework Programme under Grant Agreement No. 318003 (TREsPASS) (click here for information from CORDIS).