@inproceedings{FKAGBZBHMJ:CAL-12,
  author    = {Fatma Krichen and Amal Gassara and Bechir Zalila and Brahim Hamid and Mohamed Jmaiel},
  title     = {{Modélisation et vérification des systèmes embarqués temps réel reconfigurables}},
  booktitle = {{6ème Conférence Internationale Francophone sur les Architectures Logicielles}},
  address   = {Montpellier, France},
  pages     = {1-8},
  year      = {2012},
  month     = {may},
}