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 Timed Semantics for SDL., , , и . FORTE, том 69 из IFIP Conference Proceedings, стр. 295-309. Chapman & Hall, (1996)A Collaborative Approach to Botnet Protection., , , , и . CD-ARES, том 7465 из Lecture Notes in Computer Science, стр. 624-638. Springer, (2012)The T-Ruby Design System., и . Formal Methods Syst. Des., 11 (3): 239-264 (1997)Sequence Semantics of Ruby., и . Designing Correct Circuits, том A-5 из IFIP Transactions, стр. 159-171. North-Holland, (1992)Using interval logics for temporal analysis of security protocols., и . FMSE, стр. 24-31. ACM, (2003)Timed Traces and Strand Spaces., и . CSR, том 4649 из Lecture Notes in Computer Science, стр. 373-386. Springer, (2007)Transformational Rewriting with Ruby., и . CHDL, том A-32 из IFIP Transactions, стр. 243-260. North-Holland, (1993)Report: CC-Based Design of Secure Application Systems.. ESSoS, том 5429 из Lecture Notes in Computer Science, стр. 111-121. Springer, (2009)Introduction to Cybersecurity - A Multidisciplinary Challenge. Undergraduate Topics in Computer Science Springer, (2024)Using a Language of Functions and Relations for VLSI Specification., и . FPCA, стр. 45-54. ACM, (1995)