Cited By
View all- Lampacrescia MKlauck MPalmas M(2024)Towards Verifying Robotic Systems Using Statistical Model Checking in STORMBridging the Gap Between AI and Reality10.1007/978-3-031-75434-0_28(446-467)Online publication date: 30-Oct-2024
- Yatapanage N(2021)Introducing Formal Methods to Students Who Hate Maths and Struggle with ProgrammingFormal Methods Teaching10.1007/978-3-030-91550-6_10(133-145)Online publication date: 21-Nov-2021
- Chaari MEcker WNovello CTabacaru BKruse T(2015)A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systemsProceedings of the 52nd Annual Design Automation Conference10.1145/2744769.2747908(1-6)Online publication date: 7-Jun-2015
- Show More Cited By