| Original language | English |
|---|---|
| Title of host publication | NASA Formal Methods (NFM) |
| Publication status | Accepted/In press - 8 Apr 2024 |
Robotics: A New Mission for FRET Requirements
Gricel Vazquez Flores, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution