Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models.
Saved in:
| Title: | Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models. |
|---|---|
| Authors: | Edwards, Alec1, Peruffo, Andrea2, Abate, Alessandro1, alessandro.abate@cs.ox.ac.uk |
| Source: | Science of Computer Programming; Jan2026, Vol. 247, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2025.103354 |
