0103387 - UIVT-O 20040128 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA102/03/0672
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: formal verification * software components * state explosion * behavior protocols * parse trees
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0010695