0083270 - ÚI 2007 RIV US eng C - Conference Paper (international conference)
Adámek, JiříAddressing Unbounded Parallelism in Verification of Software Components.
[Řešení neomezeného paralelismu při verifikaci softwarových komponent.]
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. Los Alamitos: IEEE Computer Society, 2006, s. 49-56. ISBN 0-7695-2611-X.
[SNPD '06. ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing /7./. Las Vegas (US), 19.06.2006-20.06.2006]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * formal verification * unbounded parallelism * behavior protocols
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0146563
