Košík

0083270 - ÚI 2007 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification * unbounded parallelism * behavior protocols
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0146563