Ph.D. Thesis

Radomski, Stefan (2015):
Formal verification of multimodal dialogs in pervasive environments.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

Other

Schnelle-Walka, Dirk ; Radomski, Stefan ; Grosse-Puppendahl, Tobias ; Huber, Jochen ; Brdiczka, Oliver ; Luyten, Kris ; Mühlhäuser, Max (2015):
Proceedings of the 4th Workshop on Interacting with Smart Objects 2015.
TU Darmstadt,
[Other]

Schnelle-Walka, Dirk ; Radomski, Stefan
Schnelle-Walka, Dirk ; Radomski, Stefan ; Lager, Torbjörn ; Barnett, Jim ; Dahl, Deborah ; Mühlhäuser, Max (eds.) (2014):
Proceedings of the 1st EICS Workshop on Engineering Interactive Computer Systems with SCXML.
n/a,
[Other]

Schnelle-Walka, Dirk ; Radomski, Stefan ; Huber, Jochen ; Brdiczka, Oliver ; Luyten, Kris ; Mühlhäuser, Max (2014):
Proceedings of the 3rd IUI Workshop on Interacting with Smart Objects.
n/a,
[Other]