Rusu06-hdr

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

Contact

Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

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)