Cited By
View all- Vu FHappe CLeuschel M(2024)Generating interactive documents for domain-specific validation of formal modelsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00739-026:2(147-168)Online publication date: 1-Apr-2024
- Farrell MLuckcuck MMonahan RReynolds CSheridan O(2024)FRETting and Formal Modelling: A Mechanical Lung VentilatorRigorous State-Based Methods10.1007/978-3-031-63790-2_28(360-383)Online publication date: 25-Jun-2024
- Vu FBrandt DLeuschel M(2022)Model Checking B Models via High-Level Code GenerationFormal Methods and Software Engineering10.1007/978-3-031-17244-1_20(334-351)Online publication date: 24-Oct-2022
- Show More Cited By