Rab, Jaroslav: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A formal model of composing components: the TLA+ approach

Rysavy, Ondrej, Rab, Jaroslav

Journal:

Innovations in Systems and Software Engineering

Year:

2009

Language:

english

File:

PDF, 739 KB

english, 2009

2

Bookreviews

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

Journal:

Folia Geobotanica

Year:

2006

Language:

english

File:

PDF, 692 KB

english, 2006

3

A formal model of composing components: the TLA+approach

Ondrej Rysavy, Jaroslav Rab

Journal:

Innovations in Systems and Software Engineering

Year:

2009

Language:

english

File:

PDF, 793 KB

english, 2009

4

[IEEE 2010 Ninth International Conference on Networks - Menuires, France (2010.04.11-2010.04.16)] 2010 Ninth International Conference on Networks - An Approach for Automated Network-Wide Security Analysis

Sveda, Miroslav, Rysavy, Ondrej, Matousek, Petr, Rab, Jaroslav

Year:

2010

Language:

english

File:

PDF, 279 KB

english, 2010

5

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Reachability Analysis in Dynamically Routed Networks

Sveda, Miroslav, Rysavy, Ondrej, de Silva, Gayan, Matousek, Petr, Rab, Jaroslav

Year:

2011

Language:

english

File:

PDF, 663 KB

english, 2011

6

[IEEE 2008 International Multiconference on Computer Science and Information Technology (IMCSIT) - Wisla, Poland (2008.10.20-2008.10.22)] 2008 International Multiconference on Computer Science and Information Technology - A component-based approach to verification of embedded control systems using TLA+

Rysavy, Ondrej, Rab, Jaroslav

Year:

2008

Language:

english

File:

PDF, 156 KB

english, 2008

7

[IEEE 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS) - Belfast, Northern Ireland (2008.03.31-2008.04.4)] 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) - A Formal Model for Network-Wide Security Analysis

Matou¿ek, Petr, Ráb, Jaroslav, Ry¿avy, Ondrej, Svéda, Miroslav

Year:

2008

Language:

english

File:

PDF, 457 KB

english, 2008

8

[IEEE 2012 19th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Novi Sad, Serbia (2012.04.11-2012.04.13)] 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems - A Formal Authorization Framework for Networked SCADA Systems

Rysavy, Ondrej, Rab, Jaroslav, Halfar, Patrik, Sveda, Mirsolav

Year:

2012

Language:

english

File:

PDF, 294 KB

english, 2012

9

Design and Verification of Real-Time UML System Models

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 413 KB

english, 2003