Author-V.mencl on D3S https://d3s.mff.cuni.cz/tags/author-v.mencl/ Recent content in Author-V.mencl on D3S Hugo en Checking Fractal Component Behavior Using Behavior Protocols https://d3s.mff.cuni.cz/publications/kofron_checking_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_checking_2006/ Real-life Behavior Specification of Software Components https://d3s.mff.cuni.cz/publications/adamek_reallife_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_reallife_2006/ SOFA 2.0 metamodel https://d3s.mff.cuni.cz/publications/hnetynka_sofa_report_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_sofa_report_2005/