Formal testing of timed graph transformation systems using metric temporal graph logic.
Saved in:
| Title: | Formal testing of timed graph transformation systems using metric temporal graph logic. |
|---|---|
| Authors: | Schneider, Sven1, sven.schneider@hpi.de, Maximova, Maria1, Sakizloglou, Lucas1, Giese, Holger1 |
| Source: | International Journal on Software Tools for Technology Transfer; Jun2021, Vol. 23 Issue 3, p411-488, 78p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-020-00585-w |
