Parissis97m

I. Parissis. A Formal Approach to Testing LUSTRE Specifications. In Proceedings of the 1st International IEEE Conference on Formal Engineering Methods, Hiroshima, Japan, 1997.

Contact

Ioannis Parissis

Référence BibTex

@InProceedings{Parissis97m,
   Author = {Parissis, I.},
   Title = {{A Formal Approach to Testing LUSTRE Specifications}},
   BookTitle = {Proceedings of the 1st International IEEE Conference on Formal Engineering Methods},
   Address = {Hiroshima, Japan},
   Year = {1997}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)