Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2012Vérification et Test pour des systèmes évolutifs
Fourneret, E.; Bouquet, F.; Ochoa, M.; Jürjens, J.; S. Wenzel
Conference Paper
2011Model-based security verification and testing for smart-cards
Fourneret, E.; Ochoa, M.; Bouquet, F.; Botella, J.; Jürjens, J.; Yousefi, P.
Conference Paper
2011Orchestrating security and system engineering for evolving systems
Massacci, F.; Bouquet, F.; Fourneret, E.; Jürjens, J.; Lund, M.S.; Madelénat, S.; Muehlberg, J.; Paci, F.; Paul, S.; Piessens, F.; Solhaug, B.; Wenzel, S.
Conference Paper