INV-01:vasco-66

F. Ouabdesselam. Approaches and Tools for Synchronous System Testing. In Workshop on Formal design of Safety Critical Embedded Systems (FEMSYS), Invited Talk, Munich, Germany, March 2001.

Contact

Farid Ouabdesselam

BibTex Reference

@InProceedings{INV-01:vasco-66,
   Author = {Ouabdesselam, F.},
   Title = {{Approaches and Tools for Synchronous System Testing}},
   BookTitle = {{Workshop on Formal design of Safety Critical Embedded Systems (FEMSYS)}},
   Address = {Munich, Germany},
   Month = {March},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)