Search results
- 1.0405579 - UIVT-O 330959 CZ eng K - Conference Paper (Czech conference)
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]
Keywords : software components * behavior protocols * state space explosion
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125733File Download Size Commentary Version Access 0405579.pdf 0 627.2 KB Publisher’s postprint open-access - 2.0031784 - UIVT-O 336107 CZ eng K - Conference Paper (Czech conference)
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]
R&D Projects: GA ČR(CZ) GD201/05/H014
Keywords : software components * behavior protocols * state space e xplosion
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0132432