Modeling and Formal Control of Partial Dynamic Reconfiguration

Sébastien Guillet, Florent de Lamotte, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet. Modeling and Formal Control of Partial Dynamic Reconfiguration. In Viktor K. Prasanna, Jürgen Becker, René Cumplido, editors, ReConFig 10: 2010 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 13-15 December 2010, Proceedings. pages 31-36, IEEE Computer Society, 2010. [doi]

@inproceedings{GuilletLRGD10,
  title = {Modeling and Formal Control of Partial Dynamic Reconfiguration},
  author = {Sébastien Guillet and Florent de Lamotte and Éric Rutten and Guy Gogniat and Jean-Philippe Diguet},
  year = {2010},
  doi = {10.1109/ReConFig.2010.56},
  url = {http://dx.doi.org/10.1109/ReConFig.2010.56},
  tags = {modeling},
  researchr = {https://researchr.org/publication/GuilletLRGD10},
  cites = {0},
  citedby = {0},
  pages = {31-36},
  booktitle = {ReConFig 10: 2010 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 13-15 December 2010, Proceedings},
  editor = {Viktor K. Prasanna and Jürgen Becker and René Cumplido},
  publisher = {IEEE Computer Society},
}