From post

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.

 

Другие публикации лиц с тем же именем

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification., , и . FORTE, том 183 из IFIP Conference Proceedings, стр. 155-170. Kluwer, (2000)Integrating fieldbuses and factory intranets., , и . Int. J. Computer Integrated Manufacturing, 14 (1): 41-54 (2001)Automatic Detection of Attacks on Cryptographic Protocols: A Case Study., , , и . DIMVA, том 3548 из Lecture Notes in Computer Science, стр. 69-84. Springer, (2005)The reference-broadcast infrastructure synchronization protocol., , , и . ETFA, стр. 1-4. IEEE, (2012)Advances in automotive digital communications., , и . Comput. Stand. Interfaces, 27 (6): 665-678 (2005)Product Data Exchange Using STEP., , и . PROLAMAT, том 132 из IFIP Conference Proceedings, стр. 257-270. Kluwer, (1998)A software implementation of IEEE 1588 on RTAI/RTnet platforms., , , , , и . ETFA, стр. 1-8. IEEE, (2010)Comparing lexical analysis tools for buffer overflow detection in network software., , , и . COMSWARE, стр. 1-7. IEEE, (2006)Duplication avoidance mechanisms to reduce bandwidth usage in redundant Wi-Fi networks., , и . WFCS, стр. 1-10. IEEE, (2017)Automated fixing of access policy implementation in Industrial Networked Systems., , , , и . WFCS, стр. 1-9. IEEE, (2017)