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)Learning objects and instructional design - Edited by Alex Koohang & Keith Harman.. Br. J. Educ. Technol., 41 (6): 973-974 (2010)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)Informing Science: a series of four books on learning objects Learning objects: Theory, praxis, issues, and trends - Edited by Alex Koohang & Keith Harman.. Br. J. Educ. Technol., 41 (6): 971-972 (2010)Modeling Object Dynamics., and . Advances in Object-Oriented Data Modeling, MIT Press, (2000)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)Automated Verification of Function Block Based Industrial Control Systems., and . Monterey Workshop, volume 25 of Electronic Notes in Theoretical Computer Science, page 97-110. Elsevier, (1998)Discovery., , and . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Editorial: Knowledge, Social Media and Technologies for a Learning Society., and . J. Integrated Design & Process Science, 17 (1): 1-3 (2013)