Vol-4163⫷ Vol-4164 ⫸Vol-4165
urn:nbn:de:0074-4164-0


Vol-4164/paper18⫷Vol-4164/paper19⫸Vol-4164/short7
Yuriy ManzhosYevheniia Sokolova

Formal Verification of Aerospace Cyber-Physical System Software