Auflistung nach Autor "Henkler, Stefan"
Anzeige der Dokumente 1-7 von 7
-
3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)
Bender, Ottmar; Böhm, Wolfgang; Henkler, Stefan; Sander, Dietmar; Vogelsang, Andreas; Weyer, Thorsten
361-362 -
4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebettetet Systeme (ENVISION2020)
Bender, Ottmar; Böhm, Wolfgang; Henkler, Stefan; Sander, Oliver; Vogelsang, Andreas; Weyer, Thorsten
213-214 -
Automata-based refinement checking for real-time systems
Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan
99-112 -
A design space exploration framework for model-based software-intensive embedded system development
Büker, Matthias; Henkler, Stefan; Schlegel, Stefanie; Thaden, Eike
245-249 -
Fünfter workshop zur zukunft der entwicklung softwareintensiver eingebetteter systeme (ENVISION2020)
Bender, Ottmar; Böhm, Wolfgang; Houdek, Frank; Henkler, Stefan; Vogelsang, Andreas; Weyer, Thorsten
271-272 -
Modeling and verifying dynamic communication structures based on graph transformations
Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia; Schäfer, Wilhelm
153-164 -
A pattern-based requirement specification language: mapping automotive specific timing requirements
Reinkemeier, Philipp; Stierand, Ingo; Rehkop, Philip; Henkler, Stefan
99-108