Security Engineering for Lifelong Evolvable Systems

Publications

Export 2 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: Author is Sven Wenzel  [Clear All Filters]
Conference Proceedings
Conference Paper
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.