Auflistung nach Autor "Glesner, Sabine"
Anzeige der Dokumente 1-7 von 7
-
Comprehensible Decisions in Complex Self-Adaptive Systems
Klös, Verena; Göthel, Thomas; Glesner, Sabine
215-216 -
A formal correctness proof for code generation from SSA form in Isabelle/HOL
Blech, Jan Olaf; Glesner, Sabine
449-458 -
Logische und softwaretechnische Herausforderungen bei der Verifikationoptimierender Compiler
Glesner, Sabine; Blech, Jan Olaf
131-140 -
Making MPI intelligent
Tetzlaff, Dirk; Glesner, Sabine
75-88 -
Methods of model quality in the automotive area
Reichertdt, Robert; Glesner, Sabine
73-74 -
Strategische Bedeutung des Software Engineering für die Medizin
Glesner, Sabine; Jähnichen, Stefan; Paech, Barbara; Rumpe, Bernhard; Wetter, Thomas; Winter, Alfred
25-27 -
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models
Mikulcak, Marcus; Göthel, Thomas; Herber, Paula; Glesner, Sabine
1495-1508