TU Darmstadt / ULB / TUprints

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date
Number of items: 4.

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

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.
Other, Primary publication

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

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.
Other, Primary publication

This list was generated on Thu Mar 28 18:50:25 2024 CET.