@inproceedings{FKAGBZMJ:ISCC2012,
  author    = {Fatma Krichen and Amal Gassara and Bechir Zalila and Mohamed Jmaiel},
  title     = {{Towards a Verification Approach for Reconfigurable Embedded Systems}},
  booktitle = {{IEEE Symposium on Computers and Communications (ISCC)}},
  publisher = {IEEE Computer Society},
  address   = {Cappadocia, Turkey},
  pages     = {750-752},
  year      = {2012},
  month     = {july},
  doi       = {10.1109/ISCC.2012.6249388},
  note      = {Ranked B on CORE},
}