Cited By
View all- Aït-Ameur YBogomolov SDupont GSingh NStankaitis P(2022)Reachability Analysis and Simulation for Hybridised Event-B ModelsIntegrated Formal Methods10.1007/978-3-031-07727-2_7(109-128)Online publication date: 7-Jun-2022
- Li JLiu LZhang P(2020)Tabular‐expression‐based method for constructing metamorphic relationsSoftware: Practice and Experience10.1002/spe.281850:8(1345-1380)Online publication date: 23-Mar-2020
- Wynn-Williams SDiskin ZPantelic VLawford MSelim GMilo CDiab MWeslati F(2019)SL2SF: Refactoring Simulink to StateflowFundamental Approaches to Software Engineering10.1007/978-3-030-16722-6_15(264-281)Online publication date: 4-Apr-2019