BibTeX record phd/hal/Lasnier12

download as .bib file

@phdthesis{DBLP:phd/hal/Lasnier12,
  author    = {Gilles Lasnier},
  title     = {Une approche int{\'{e}}gr{\'{e}}e pour la validation et
               la g{\'{e}}n{\'{e}}ration de syst{\`{e}}mes critiques par
               raffinement incr{\'{e}}mental de mod{\`{e}}les architecturaux.
               (An integrated approach to validate and generate high-integrity systems
               by incremental refinement of architectural models)},
  school    = {T{\'{e}}l{\'{e}}com ParisTech, France},
  year      = {2012},
  url       = {https://tel.archives-ouvertes.fr/tel-01136580},
  timestamp = {Thu, 07 Jul 2016 09:17:16 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Lasnier12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier