Generative Engineering for Safety-Critical System Design

von Saleh, Amr Hany
Veröffentlicht in IMBSA (7. : 2020 : Online) Model-based safety and assessment (2020)

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts

von Santos, César Augusto R. dos
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)