Cited By
View all- Hazra A(2024)Formal Methods for Characterization and Analysis of Quality Specifications in Component-Based SystemsInternational Journal of Reliability, Quality and Safety Engineering10.1142/S021853932450044X32:01Online publication date: 15-Nov-2024
- Tan FLiu LWinter SWang QSuri NBu LPeng YLiu XPeng X(2018)Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPSACM Transactions on Cyber-Physical Systems10.1145/32260293:1(1-25)Online publication date: 5-Sep-2018
- Distefano S(2015)Dependability assessment of critical systemsJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-015-0272-06:6(713-720)Online publication date: 1-Apr-2015
- Show More Cited By