Auflistung nach Autor "Hirsch, Martin"
Anzeige der Dokumente 1-3 von 3
-
IKAR/OS
Röhrbein, Florian; Artmann, Stefan; Hirsch, Martin
327-328 -
Modeling and verifying dynamic communication structures based on graph transformations
Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia; Schäfer, Wilhelm
153-164 -
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen
Gehrke, Matthias; Hirsch, Martin; Schäfer, Wilhelm; Niggemann, Oliver; Stichling, Dirk; Nickel, Ulrich
251-252