Cited By
View all- Gil Dantas YMunaro TCarlan CNigam VBarner SFan SPretschner ASchöpp UTverdyshev S(2023)A Toolchain for Synthesizing and Validating Safety ArchitecturesSN Computer Science10.1007/s42979-023-01712-54:4Online publication date: 15-Apr-2023
- Wolf F(2023)Strukturierte SoftwareentwicklungSoftware im Automobil10.1007/978-3-662-67156-6_3(141-214)Online publication date: 13-Jun-2023
- Ruess H(2023)The Next Big Thing: From Embedded Systems to Embodied ActorsFormal Methods10.1007/978-3-031-27481-7_2(10-25)Online publication date: 3-Mar-2023
- Show More Cited By