Vol-4116⫷ Vol-4117 ⫸Vol-4118
urn:nbn:de:0074-4117-0


Vol-4117/paper_dc_11⫷Vol-4117/paper_dc_12⫸Vol-4117/paper_dc_13
Ondřej Vašíček

Early Validation of High-level Requirements on Cyber-Physical Systems