Auflistung nach Autor "Brenner, Christian"
Anzeige der Dokumente 1-2 von 2
-
Automata-based refinement checking for real-time systems
Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan
99-112 -
Incrementally synthesizing controllers from scenario-based product line specifications
Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika
91-92