Commit 25357b17 authored by Martin Huvelle's avatar Martin Huvelle Committed by Antoine Hacquard
Browse files

correct entry huvelle.19.seminar

parent 41067ee5
Pipeline #10336 passed with stages
in 5 minutes and 41 seconds
......@@ -3380,7 +3380,7 @@ recherche et d'analyse d'information (lexicale, s\'emantique etc.).
@TechReport{ huvelle.19.seminar,
author = {Martin Huvelle},
title = {Reimplementation of testing-automata in Spot},
titre = {Réimpl\'ementation des automates testeurs dans Spot},
titre = {R\'eimpl\'ementation des automates testeurs dans Spot},
institution = {EPITA Research and Development Laboratory (LRDE)},
year = 2019,
number = 1906,
......@@ -3400,14 +3400,14 @@ recherche et d'analyse d'information (lexicale, s\'emantique etc.).
gerer les automates testeurs depuis Spot 1.0.
Cependant, Spot 2.0 a introduit une nouvelle structure de donn\'ee pour les
automates avec des conditions d'acceptance g\'en\'eriques et qui n'\'etait
pas disponible quand les automates testeurs ont été implément\'e. Notre but
est de r\'eimplémenter les automates testeurs en utilisant cette nouvelle
structure de donn\'ee.
pas disponible quand les automates testeurs ont \'et\'e impl\'ement\'e.
Notre but est de r\'eimpl\'ementer les automates testeurs en utilisant cette
nouvelle structure de donn\'ee.
Cela fait, nous esperons pouvoir r\'eutiliser les algorithms existants,
reduire la quantit\'e de code impliquant les automates testeurs et de rendre
les automates testeurs compatible avec le format HOA. Pour finir,
l'impl\'ementation choisi permettrait de reduire la taille des automates
testeurs compar\'e \`a l'implementation originale.}
testeurs compar\'e \`a l'impl\'ementation originale.}
}
@TechReport{ iovene.15.seminar,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment