2007 |
4 | EE | Tomás Bures,
Martin Decký,
Petr Hnetynka,
Jan Kofron,
Pavel Parizek,
Frantisek Plasil,
Tomás Poch,
Ondrej Sery,
Petr Tuma:
CoCoME in SOFA.
CoCoME 2007: 388-417 |
3 | EE | Jan Kofron:
Checking software component behavior using behavior protocols and spin.
SAC 2007: 1513-1517 |
2006 |
2 | EE | Pavel Parizek,
Frantisek Plasil,
Jan Kofron:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
SEW 2006: 133-141 |
1 | EE | Pavel Jezek,
Jan Kofron,
Frantisek Plasil:
Model Checking of Component Behavior Specification: A Real Life Experience.
Electr. Notes Theor. Comput. Sci. 160: 197-210 (2006) |