V. Rusu, Formal verification and conformance testing for reactive systems, Habilitation à diriger des recherches Université de Rennes 1, December 2006.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@PhdThesis{Rusu06-hdr,
   Author = {Rusu, V.},
   Title = {Formal verification and conformance testing for reactive systems},
   School = {Université de Rennes 1},
   Month = {December},
   Year = {2006}
   type = {Habilitation à diriger les recherches},
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.