Security Engineering for Lifelong Evolvable Systems

Publications

Export 2 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Sven Wenzel  [Clear All Filters]
2012
Fourneret, E., F. Bouquet, M. Ochoa, J. Jürjens, and S. Wenzel, "Vérification et Test pour des systèmes évolutifs", AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, pp. 150–164, 2012.
2011