A formal model of composing components: the TLA+ approach von Rysavy, Ondrej, Rab, Jaroslav

Volltext

A Formal Model for Network-Wide Security Analysis von Rab, Jaroslav, Matousek, Petr, Rysavy, Ondrej, Sveda, Miroslav

Volltext bestellen

Design and Verification of Real-Time UML System Models von Rab, Jaroslav

Volltext

A Formal Authorization Framework for Networked SCADA Systems von Rysavy, Ondrej, Rab, Jaroslav, Halfar, Patrik, Sveda, Mirsolav

Volltext bestellen

Security analysis of TCP/IP networks: An approach to automatic analysis of network security properties von Sveda, Miroslav, Rysavy, Ondrej, Matousek, Petr, Rab, Jaroslav, Cejka, Rudolf

Volltext bestellen

An Approach for Automated Network-Wide Security Analysis von Sveda, Miroslav, Rysavy, Ondrej, Matousek, Petr, Rab, Jaroslav

Volltext bestellen

A component-based approach to verification of embedded control systems using TLA+ von Rysavy, O., Rab, J.

Volltext bestellen

Reachability Analysis in Dynamically Routed Networks von Sveda, M., Rysavy, O., de Silva, G., Matousek, P., Rab, J.

Volltext bestellen

Bookreviews von Flegr, Jaroslav, Klimeš, Leoš, Březina, Stanislav, Ráb, Petr, Jersáková, Jana, Prach, Karel, Vilímová, Jitka

Volltext