0307947 - ÚI 2008 RIV US eng J - Journal Article
Adámek, Jiří
Verification of Software Components: Addressing Unbounded Paralelism.
[Verifikace softwarových komponent: Neomezený paralelismus.]
International Journal of Computer and Information Science. Roč. 8, č. 2 (2007), s. 300-309. ISSN 1525-9293
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * formal verification * unbounded parallelism
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0160567
Adámek, Jiří
Verification of Software Components: Addressing Unbounded Paralelism.
[Verifikace softwarových komponent: Neomezený paralelismus.]
International Journal of Computer and Information Science. Roč. 8, č. 2 (2007), s. 300-309. ISSN 1525-9293
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * formal verification * unbounded parallelism
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0160567