Génération automatique de séquences de test à partir de descriptions LUSTRE : GATeL
Journées Francophones des Langages Applicatifs (JFLA00) - Janvier 2000
BibTex references
@InProceedings{MA2000_32,
}
| author | = {Marre, B. and Arnould, A.}, | |
| title | = {G\'en\'eration automatique de s\'equences de test \`a partir de descriptions LUSTRE : GATeL.}, | |
| month | = {Janvier}, | |
| year | = {2000}, | |
| note | = {Journ\'ees Francophones des Langages Applicatifs (JFLA00)}, |
