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, Mars 2001.

Contact

Farid Ouabdesselam

Référence BibTex

@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}
}

Référence EndNote [help]

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