, 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