Vol-2352⫷ Vol-2353 ⫸Vol-2354
urn:nbn:de:0074-2353-0


Vol-2353/paper75⫷Vol-2353/paper76⫸Vol-2353/paper77
Sergiy KorotunovGalyna TabunshchykKarsten HenkeHeinz-Dietrich Wuttke

Analysis of the Verification Approaches for the Cyber-Physical Systems