Control strategies for off-line testing of timed systems.
Saved in:
| Title: | Control strategies for off-line testing of timed systems. |
|---|---|
| Authors: | Henry, Léo1, leo.henry@ens-rennes.fr, Jéron, Thierry2, Markey, Nicolas2 |
| Source: | Formal Methods in System Design; Apr2022, Vol. 60 Issue 2, p147-194, 48p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09259856 |
|---|---|
| DOI: | 10.1007/s10703-022-00403-w |
