0103387 - UIVT-O 20040128 RIV US eng C - Conference Paper (international conference)
Mach, M. - Plášil, František
Addresing State Explosion in Behavior Protocol Verification.
[Řešení problému exponenciálního nárůstu stavového prostoru (state explosion) ve verifikaci protokolů chování (behavior protocols).]
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Michigan: ACIS, 2004 - (Hu, G.; Huang, T.; Ni, X.; Zhou, A.), s. 327-333. ISBN 0-9700776-8-8.
[ACIS. International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing /5./. Beijing (CN), 30.06.2004-02.07.2004]
R&D Projects: GA ČR GA102/03/0672
Institutional research plan: CEZ:AV0Z1030915
Keywords : formal verification * software components * state explosion * behavior protocols * parse trees
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0010695

0156105 - NHU-N 20033029 RIV NL eng J - Článek v odborném periodiku
Kejak, Michal
Stages of growth in economic development.
Journal of Economic Dynamics & Control. Roč. 27, č. 5 (2003), s. 771-800. ISSN 0165-1889. E-ISSN 1879-1743
Výzkumný záměr: CEZ:AV0Z7085904
Klíčová slova: growth * human capital * development
Kód oboru RIV: AH - Ekonomie
Impakt faktor: 0.690, rok: 2003
DOI: https://doi.org/10.1016/S0165-1889(01)00071-9
Trvalý link: http://hdl.handle.net/11104/0053572