Výsledky vyhledávání
- 1.0307947 - ÚI 2008 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification * unbounded parallelism
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0160567 - 2.0031769 - UIVT-O 336099 RIV GB eng J - Článek v odborném periodiku
Adámek, Jiří - Plášil, František
Component Composition Errors and Update Atomicity: Static Analysis.
[Chyby skládání komponent a atomické aktualizace: Statická analýza.]
Journal of Software Maintenance and Evolution-Research and Practice. Roč. 17, - (2005), s. 363-377. ISSN 1532-060X
Grant CEP: GA ČR(CZ) GA201/03/0911
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * dynamical updates
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Impakt faktor: 0.457, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0132421