Auflistung nach Autor "Huhn, Michaela"
Anzeige der Dokumente 1-9 von 9
-
CeMoSS – Certification and model-driven development of safe and secure software
Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
207-208 -
GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen
Werner, Patrick; Gerken, Stefan; Huhn, Michaela
163-174 -
Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen
Klar, Dennis; Huhn, Michaela
88-89 -
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Hagner, Matthias; Huhn, Michaela
531-535 -
Modellqualität als Indikator für Softwarequalität: eine Taxonomie
Fieber, Florian; Huhn, Michaela; Rumpe, Bernhard
408-424 -
Optimising Test Execution Times in Test Suite Generation
Mücke, Tilo; Huhn, Michaela
480-485 -
ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software
Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
367-367 -
Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)
Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
198-200 -
Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik
Saal, Sebastian; Klar, Dennis; Seemann, Markus; Huhn, Michaela
515-528