Rosemary Monahan
- Mu-FRET: a catalogue and tool for requirement refactoring
2026/05/18 by Matt Luckcuck, Oisín Sheridan, Marie Farrell +1 · 1 voice
Engineering · Computer Science · #Safety Systems Engineering in Autonomy #Formal Methods in Verification #Advanced Software Engineering Methodologies