View in EDS

Control strategies for off-line testing of timed systems.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first