LugatoMTNDPGN04'

BibTeX

@inproceedings{DBLP:conf/rtas/LugatoMTNDPGN04,
  author    = {David Lugato and
               Fr{\'e}d{\'e}ric Maraux and
               Yves Le Traon and
               V{\'e}ronique Normand and
               Hubert Dubois and
               Jean-Yves Pierron and
               Jean-Pierre Gallois and
               Cl{\'e}mentine Nebut},
  title     = {Automated Functional Test Case Synthesis from THALES industrial
               Requirements},
  booktitle = {IEEE Real-Time and Embedded Technology and Applications
               Symposium},
  year      = {2004},
  pages     = {104-111},
  ee        = {http://csdl.computer.org/comp/proceedings/rtas/2004/2148/00/21480104abs.htm},
  crossref  = {DBLP:conf/rtas/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rtas/2004,
  title     = {10th IEEE Real-Time and Embedded Technology and Applications
               Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada},
  booktitle = {IEEE Real-Time and Embedded Technology and Applications
               Symposium},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2148-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}