Wiels, Virginie, Onéra/DTIM, 2 Avenue E. Belin BP74025,31055 Toulouse France, 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