Search results
- 1.0317137 - ÚI 2010 RIV NL eng J - Journal Article
Kofroň, Jan - Plášil, František - Šerý, O.
Modes in Component Behavior Specification via EBP and their Application in Product Lines.
[Módy ve specifikaci chování komponent v EBP a jejich aplikace v product lines.]
Information and Software Technology. Roč. 51, č. 1 (2009), s. 31-41. ISSN 0950-5849. E-ISSN 1873-6025
R&D Projects: GA AV ČR 1ET400300504
Grant - others:GA ČR(CZ) GA201/08/0266
Institutional research plan: CEZ:AV0Z10300504
Keywords : behavior specification * component modes * software product lines
Subject RIV: JC - Computer Hardware ; Software
Impact factor: 1.821, year: 2009
Permanent Link: http://hdl.handle.net/11104/0166862 - 2.0085625 - ÚI 2008 NL eng J - Journal Article
Ježek, P. - Kofroň, Jan - Plášil, František
Model Checking of Component Behavior Specification: A Real Life Experience.
Electronic Notes in Theoretical Computer Science. Roč. 160 (2007), s. 197-210. ISSN 1571-0661
R&D Projects: GA AV ČR 1ET400300504; GA ČR GA102/03/0672
Keywords : component behaviour * verification * model checking
Permanent Link: http://hdl.handle.net/11104/0148093 - 3.0031775 - UIVT-O 336102 RIV US eng J - Journal Article
Mach, M. - Plášil, František - Kofroň, Jan
Behaviour Protocols Verification: Fighting State Explosion.
[Verifikace protokolů chování: řešení problému.]
International Journal of Computer and Information Science. Roč. 6, č. 2 (2005), s. 22-30. ISSN 1525-9293
R&D Projects: GA ČR(CZ) GA102/03/0672
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal verification * software components * stateexplos ion * behavior protocols * parse trees
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0132426