Concepedia

Jan Krákora

JK

Statistics

Publications

3

Citations

63

H-Index

3

Active since

2004

Affiliations

Czech Technical University in Prague(Current)

Jan Krákora is an author at Czech Technical University in Prague specializing in formal verification, computer science, and engineering.

Top concepts

Publications per year

2004–2009

3

Publications

3

Case study on distributed and fault tolerant system modeling based on timed automata

Libor Waszniowski, Jan Krákora, Zdeněk Hanzálek · Journal of Systems and Software · 2009 · 28 citations

, , +12

Timed automata approach to real time distributed system verification

Jan Krákora, Libor Waszniowski, Pavel Píša et al. · 2005 · 20 citations

, , +16

Timed Automata Approach to CAN Verification

Jan Krákora, Zdeněk Hanzálek · IFAC Proceedings Volumes · 2004 · 15 citations

, , +7

1–3 of 3