Cited By
View all- Martins L(2024)From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems DomainJournal of Software Engineering Research and Development10.5753/jserd.2024.374512:1Online publication date: 4-Nov-2024
- Hatcliff JBelt J(2024)The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based EngineeringThe Combined Power of Research, Education, and Dissemination10.1007/978-3-031-73887-6_9(93-117)Online publication date: 23-Oct-2024
- Deevy Sde Moraes Machado TModhafar AO’Beirne WPaige RWassyng A(2023)Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance CasesComputer Safety, Reliability, and Security10.1007/978-3-031-40923-3_3(25-38)Online publication date: 11-Sep-2023
- Show More Cited By