2

Analysis of VME-Bus communication protocol - RTCP-net approach

Year:
2007
Language:
english
File:
PDF, 369 KB
english, 2007
24

Formal Verification of Embedded Systems Using the Alvis Approach

Year:
2011
Language:
english
File:
PDF, 679 KB
english, 2011
27

Detection and Modeling of Cyber Attacks with Petri Nets

Year:
2014
Language:
english
File:
PDF, 1.12 MB
english, 2014
29

An Entropy-Based Network Anomaly Detection Method

Year:
2015
Language:
english
File:
PDF, 1.70 MB
english, 2015
43

Verification of Real-Time System Requirements: A Petri Net Approach

Year:
1999
Language:
english
File:
PDF, 1.46 MB
english, 1999
47

Tools and Methods for RTCP-Nets Modeling and Verification

Year:
2016
Language:
english
File:
PDF, 582 KB
english, 2016
49

Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets

Year:
2017
Language:
english
File:
PDF, 795 KB
english, 2017