Author-Ondrejsery on D3S https://d3s.mff.cuni.cz/tags/author-ondrejsery/ Recent content in Author-Ondrejsery on D3S Hugo en CoCoME in Fractal https://d3s.mff.cuni.cz/publications/bulej_cocome_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_cocome_2008/ CoCoME in SOFA https://d3s.mff.cuni.cz/publications/bures_cocome_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_cocome_2008/ Making Components Fit: SPINing https://d3s.mff.cuni.cz/publications/kofron_making_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_making_2008/ Modes in component behavior specification via EBP and their application in product lines https://d3s.mff.cuni.cz/publications/kofron_modes_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_modes_2009/ On Teaching Formal Methods: Behavior Models and Code Analysis https://d3s.mff.cuni.cz/publications/kofron_teaching_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_teaching_2009/ Slicing of Component Behavior Specification with Respect to Their Composition. https://d3s.mff.cuni.cz/publications/sery_slicing_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/sery_slicing_2007/ TBP: Code-Oriented Component Behavior Specification https://d3s.mff.cuni.cz/publications/kofron_tbp_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_tbp_2008/ Threaded behavior protocols https://d3s.mff.cuni.cz/publications/poch_threaded_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/poch_threaded_2013/