Building a Digital Bridge Across Cultures and Continents: Exploring New Vistas in Virtual Collaboration

von Premawardhena, Neelakshi Chandrasena
Veröffentlicht in International Conference on Interactive Collaborative Learning (25. : 2022 : Vienna) Learning in the age of digital and green transition ; Volume 2 (2023)

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)