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)}, |