Security Engineering for Lifelong Evolvable Systems

Vérification et Test pour des systèmes évolutifs

TitleVérification et Test pour des systèmes évolutifs
Publication TypeConference Paper
Year of Publication2012
AuthorsFourneret, E., F. Bouquet, M. Ochoa, J. Jürjens, and S. Wenzel
Conference NameAFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels
Conference LocationGrenoble, France