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

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification., , and . FORTE, volume 183 of IFIP Conference Proceedings, page 155-170. Kluwer, (2000)Product Data Exchange Using STEP., , and . PROLAMAT, volume 132 of IFIP Conference Proceedings, page 257-270. Kluwer, (1998)Integrating fieldbuses and factory intranets., , and . Int. J. Computer Integrated Manufacturing, 14 (1): 41-54 (2001)Comparing lexical analysis tools for buffer overflow detection in network software., , , and . COMSWARE, page 1-7. IEEE, (2006)A software implementation of IEEE 1588 on RTAI/RTnet platforms., , , , , and . ETFA, page 1-8. IEEE, (2010)The reference-broadcast infrastructure synchronization protocol., , , and . ETFA, page 1-4. IEEE, (2012)Automatic Detection of Attacks on Cryptographic Protocols: A Case Study., , , and . DIMVA, volume 3548 of Lecture Notes in Computer Science, page 69-84. Springer, (2005)An improved CAN fieldbus for industrial applications., and . IEEE Trans. Ind. Electron., 44 (4): 553-564 (1997)Improving Effectiveness of Seamless Redundancy in Real Industrial Wi-Fi Networks., , and . IEEE Trans. Ind. Informatics, 14 (5): 2095-2107 (2018)Seamless Link-Level Redundancy to Improve Reliability of Industrial Wi-Fi Networks., , and . IEEE Trans. Ind. Informatics, 12 (2): 608-620 (2016)