[IEEE Comput. Sco First IEEE International Conference on Formal Engineering Methods - Hiroshima, Japan (12-14 Nov. 1997)] Proceedings First IEEE International Conference on Formal Engineering Methods - A formal approach to testing LUSTRE specifications
Parissis, I.Year:
1997
Language:
english
DOI:
10.1109/icfem.1997.630409
File:
PDF, 934 KB
english, 1997