Výsledky vyhledávání
- 1.0396606 - ÚTAM 2014 RIV CZ cze J - Článek v odborném periodiku
Gajdoš, Lubomír - Šperl, Martin - Pařízek, P.
Rozvoj plastických deformací v oceli při konstantním zatížení a jejich význam pro plynárenskou praxi.
[Development of plastic deformations in steel under constant load and their importance for practice in the gas industry.]
Plyn : odborný měsíčník pro plynárenství. Roč. 93, č. 9 (2013), s. 198-203. ISSN 0032-1761
Grant CEP: GA ČR(CZ) GAP105/10/2052
Institucionální podpora: RVO:68378297
Klíčová slova: low-temperature creep * deformation * pipe
Kód oboru RIV: JL - Únava materiálu a lomová mechanika
Trvalý link: http://hdl.handle.net/11104/0225655 - 2.0090204 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
Pařízek, P. - Plášil, František
Specification and Generation of Environment for Model Checking of Software Components.
[Specifikace a generování prostředí pro model checking softwarových komponent.]
Electronic Notes in Theoretical Computer Science. Roč. 176, - (2007), s. 143-154. ISSN 1571-0661
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * model checking * automated generation of environment
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0151179 - 3.0090203 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
Pařízek, P. - Plášil, František
Modeling Environment for Component Model Checking from Hierarchical Architecture.
[Modelování prostředí pro model checking komponent z hierarchických architektur.]
Electronic Notes in Theoretical Computer Science. Roč. 182, - (2007), s. 139-153. ISSN 1571-0661
Grant CEP: GA ČR GA201/06/0770
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * environment model checking * hierarchical component architecture
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0151178