Výsledky vyhledávání
- 1.0405579 - UIVT-O 330959 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Kofroň, Jan
Behavior Protocols: Efficient Checking for Composition Errors.
Doktorandský den '05. Praha: MATFYZPRESS, 2005 - (Hakl, F.), s. 40-44. ISBN 80-86732-56-8.
[Doktorandský den '05. Nový Dvůr (CZ), 05.10.2005-07.10.2005]
Klíčová slova: software components * behavior protocols * state space explosion
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125733Název souboru Staženo Velikost Komentář Verze Přístup 0405579.pdf 0 627.2 KB Vydavatelský postprint povolen - 2.0031784 - UIVT-O 336107 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Kofroň, Jan
Performance Improvements of Behavior Protocol Checking.
Week of Doctoral Students. Praha: MATFYZPRESS, 2005 - (Šafránková, J.), s. 25-29. ISBN 80-86732-59-2.
[WDS'05, Annual Conference of Doctoral Students /14./. Praha (CZ), 07.06.2005-10.06.2005]
Grant CEP: GA ČR(CZ) GD201/05/H014
Klíčová slova: software components * behavior protocols * state space e xplosion
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0132432