Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is S.H. Houmb  [Clear All Filters]
2011
Jürjens, J., M. Ochoa, H. Schmidt, L. Marchal, S. H. Houmb, and S. Islam, "Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (invited lecture)", 11th School on Formal Methods (SFM 2011), Bertinoro, Italy, 2011.