What are the fundamental software abstractions for designing reliable cyber-physical systems operating in uncertain environments?

David Broman, Jim Woodcock 0001. What are the fundamental software abstractions for designing reliable cyber-physical systems operating in uncertain environments?. Res. Dir. Cyber Phys. Syst., 1, 2023. [doi]

Abstract

Abstract is missing.