English version

Test Sequences Generation from LUSTRE Descriptions: GATEL

Test Sequences Generation from LUSTRE Descriptions: GATEL

Marre B., Arnould A.
Proceedings of ASE-00: The 15th IEEE Conference on Automated Software Engineering, Grenoble, France, IEEE CS Press - Septembre 2000

Références BibTex

@InProceedings{MA2000_33,
author = {Marre, B. and Arnould, A.},
title = {Test Sequences Generation from LUSTRE Descriptions: GATEL.},
month = {Septembre},
year = {2000},
note = {Proceedings of ASE-00: The 15th IEEE Conference on Automated Software Engineering, Grenoble, France, IEEE CS Press},
}