( en | de | ru )

 

Disambiguation of "Matousek, Petr"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying VHDL Designs with Multiple Clocks in SMV.

, , , , , and . FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 148-164. Springer, (2006)

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.

Robert Matousek

Andreas Petr

Petr Rudenko

Petr Obrdlik

Petr Hyspecký

 

Other publications of authors with the same name

Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication., , , and . IEEE Trans. Smart Grid, 14 (3): 2352-2366 (May 2023)Advanced Techniques for Reconstruction of Incomplete Network Data., , , , , , and . ICDF2C, volume 157 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 69-84. Springer, (2015)Anomaly Detection of ICS Communication Using Statistical Models., , and . CNSM, page 166-172. IEEE, (2021)A Formal Model for Network-Wide Security Analysis., , , and . ECBS, page 171-181. IEEE Computer Society, (2008)Verification of Workflow Specification Standards.. ICEIS Doctoral Consortium, page 8-11. ICEIS Press, (2003)Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties., , , , and . DCNET/OPTICS, page 5-11. SciTePress, (2010)Towards Identification of Operating Systems from the Internet Traffic - IPFIX Monitoring with Fingerprinting and Clustering., , , and . DCNET, page 21-27. SciTePress, (2014)Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties., , , , and . DCNET/OPTICS, page 5-11. SciTePress, (2010)Practical IPv6 monitoring-challenges and techniques., , , and . Integrated Network Management, page 650-653. IEEE, (2011)Identity Linking in Computer Networks., , and . ICETE (1), page 45-52. ScitePress, (2020)