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

Programs for Ever., and . NDDL, page 63-79. ICEIS Press, (2002)Long-time preservation of data sets, results of the DareLux project., , , , and . Inf. Services and Use, 28 (3-4): 281-294 (2008)Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System., and . FME, volume 670 of Lecture Notes in Computer Science, page 64-72. Springer, (1993)Specification and Refinement of Continuous Real-Time Systems., , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 310-324. Springer, (1997)Workshop on Object-Oriented Real-Time Systems., , and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 502. Springer, (1998)Object-Oriented Real-Time Systems: Workshop Report., , and . ECOOP Workshops, volume 1357 of Lecture Notes in Computer Science, page 433-435. Springer, (1997)Rigorous Development of Concurrent O-O Systems., and . TOOLS (13), page 515. Prentice Hall, (1994)Real time formal specification using VDM++., , and . WORDS, page 17-24. IEEE Computer Society, (1996)VDM++, A Formal Specification Language for OO Designs., and . TOOLS (7), page 63-77. Prentice Hall, (1992)Enhanced Publications : Linking Publications and Research Data in Digital Repositories, , , , , , , , and . Amsterdam University Press, Amsterdam, (2009)