MoonLight: a lightweight tool for monitoring spatio-temporal properties.
Saved in:
| Title: | MoonLight: a lightweight tool for monitoring spatio-temporal properties. |
|---|---|
| Authors: | Nenzi, Laura1,2, lnenzi@units.it, Bartocci, Ezio2, Bortolussi, Luca1, Silvetti, Simone3, Loreti, Michele4 |
| Source: | International Journal on Software Tools for Technology Transfer; Aug2023, Vol. 25 Issue 4, p503-517, 15p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-023-00710-5 |
