@article{RNTI/papers/1000643,
  author    = {Frédéric Boniol},
  title     = {Vérification d'architecture embarquées : un enjeu aux multiples facettes},
  journal = {Revue des Nouvelles Technologies de l'Information},
  volume = {2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada, RNTI-L-2},
  year      = {2008},
  pages     = {1-2}
}