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)Dataset Preservation for the Long Term: Results of the DareLux Project., , , and . IJDC, 3 (1): 29-43 (2008)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)Specification and Refinement of Continuous Real-Time Systems., , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 310-324. Springer, (1997)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)Long-time preservation of data sets, results of the DareLux project., , , , and . Inf. Services and Use, 28 (3-4): 281-294 (2008)Object-Oriented Real-Time Systems: Workshop Report., , and . ECOOP Workshops, volume 1357 of Lecture Notes in Computer Science, page 433-435. Springer, (1997)Workshop on Object-Oriented Real-Time Systems., , and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 502. Springer, (1998)VDM++, A Formal Specification Language for OO Designs., and . TOOLS (7), page 63-77. Prentice Hall, (1992)