Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.
Saved in:
| Title: | Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. |
|---|---|
| Authors: | Ferlin, A.1,2,3, antoine.ferlin@ifsttar.fr, Wiels, V.2, virginie.wiels@onera.fr, Bon, P.1, philippe.bon@ifsttar.fr |
| Source: | International Journal of Computers, Communications & Control; Oct2016, Vol. 11 Issue 5, p645-656, 12p, 4 Diagrams, 3 Charts |
| Database: | Applied Science & Technology Source |
| ISSN: | 18419836 |
|---|---|
| DOI: | 10.15837/ijccc.2016.5.2148 |
