Cited By
View all- Bordis TKodetzki MSchaefer I(2024)From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm DesignComputer10.1109/MC.2024.339094857:7(113-119)Online publication date: 1-Jul-2024
- Khosravi RKhamespanah EGhassemi FSirjani M(2024)Actors Upgraded for Variability, Adaptability, and DeterminismActive Object Languages: Current Research Trends10.1007/978-3-031-51060-1_9(226-260)Online publication date: 29-Jan-2024
- Egyed AGrünbacher PLinsbauer LPrähofer HSchaefer I(2023)Variability in Products and ProductionDigital Transformation10.1007/978-3-662-65004-2_3(65-91)Online publication date: 3-Feb-2023
- Show More Cited By