Cited By
View all- Jones CThomas M(2022)The Development and Deployment of Formal Methods in the UKFormal Aspects of Computing10.1145/352257734:1(1-21)Online publication date: 5-Jul-2022
- Elrakaiby YBorgida AFerrari AMylopoulos J(2022)CaRE: a refinement calculus for requirements engineering based on argumentation theorySoftware and Systems Modeling (SoSyM)10.1007/s10270-021-00943-521:6(2113-2132)Online publication date: 1-Dec-2022
- Hirose TSawaragi TNomoto HMichiura Y(2021)Functional safety analysis of SAE conditional driving automation in time-critical situations and proposals for its feasibilityCognition, Technology and Work10.1007/s10111-020-00652-x23:4(639-657)Online publication date: 1-Nov-2021
- Show More Cited By