Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formally Verified Firmware Modules for Industrial Process Automation., , and . SAFECOMP, page 206-218. Springer, (1995)Modeling Interface Definition Language Extensions, and . IEEE Proceedings of TOOLS Pacific '00, Sydney, page 242--252. IEEE Computer Society Press, (2000)Predictable COmponent Architectures Using Dependent Finite State Machines, , , and . Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, page 310--324. Springer, (2002)A Reference Architecture for Smart Digital Platform for Personalized Prevention and Patient Management., and . Next-Gen Digital Services, volume 12521 of Lecture Notes in Computer Science, page 88-99. Springer, (2021)Discovery., , and . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr?. GI Jahrestagung (1), volume P-109 of LNI, page 489-490. GI, (2007)Über den Nutzen interaktiver Lernmedien im Fernstudium., , , , , and . DeLFI, volume P-233 of LNI, page 15-26. GI, (2014)A Case Study in Developing Complex Safety Critical Systems. Hawaii International Conference on System Sciences, Vol. V: Advanced Technology, page 135--143. (1997)Prototyping and formal analysis of concurrent and distributed systems.. IWSSD, page 60-66. IEEE Computer Society, (1991)The time dimension considered appropriate for resource access synchronization., and . Inf. Softw. Technol., 35 (11-12): 691-695 (1993)