Cited By
View all- Moradi FAbbaspour Asadollah SPourvatan BMoezkarimi ZSirjani M(2024)CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical SystemsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.100965(100965)Online publication date: Mar-2024
- Rossel MLin SLohstroh MCastrillon JGoens A(2024)Provable Determinism for Software in Cyber-Physical SystemsVerified Software. Theories, Tools and Experiments10.1007/978-3-031-66064-1_6(85-107)Online publication date: 27-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
- Show More Cited By