, Ifsttar, 20 rue Elisée reclus BP 70317, 59666 Villeneuve d'Ascq Cedex, France
-
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL Vol. 11 No. 5 (2016): International Journal of Computers Communications & Control (October) - Articles
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces
Abstract PDF