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

Internet-Enabled Calibration: An Analysis of Different Topologies and a Comparison of Two Different Approaches., , and . IEEE Trans. Instrum. Meas., 56 (5): 1986-1991 (2007)Ensuring numerical correctness using the Internet., and . Comput. Stand. Interfaces, 28 (3): 297-305 (2006)Conformity Clause for VDM-SL., and . FME, volume 670 of Lecture Notes in Computer Science, page 501-520. Springer, (1993)Overview: Survey of Formal Methods in Industry., and . FORTE, volume C-22 of IFIP Transactions, page 189-203. North-Holland, (1993)Specification of the MAA Standard in VDM., and . VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 526-544. Springer, (1991)A prototype system for the validation of Pascal programs., , , , , , , and . Softw. Eng. J., 3 (2): 47-52 (1988)The Average Cycle Size of the Key Stream in Output Feedback Encipherment., and . CRYPTO, page 97-98. Plenum Press, New York, (1982)Complex systems proved and improved.. Microprocess. Microsystems, 20 (8): 495-499 (1997)A Dynamic Instrumentation Framework for Remote Operation of PC-Connected Devices., , and . VECIMS, page 8-12. IEEE, (2006)