Home Advanced Search

Advanced Search - Page 1

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
  • PDF
  • English
  • Year: 2010
  • Author: Frédéric Mallet, Charles André, Robert de Simone (auth.), Dominique Borrione (eds.)
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Wolfram Büttner (auth.), Dominique Borrione, Wolfgang Paul (eds.)
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.)
CONLAN Report
  • PDF
  • English
  • Year: 1983
  • Author: Robert Piloty, Dominique Borrione, Mario R. Barbacci, D. L. Dietmeyer, Frederick J. Hill, Patrick Skelly (auth.)
Modeling in Computational Biology and Biomedicine: A Multidisciplinary Endeavor
  • PDF
  • English
  • Year: 2013
  • Author: Frédéric Cazals, Tom Dreyfus, Charles H. Robert (auth.), Frédéric Cazals, Pierre Kornprobst (eds.)
Computer Hardware Description Languages and their Applications. Proceedings of the 1992 International Conference on Artificial Neural Networks (Icann–92), Brighton, United Kingdom, 4–7 September, 1992
  • PDF
  • English
  • Year: 1991
  • Author: Dominique Borrione, Ronald Waxman
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.)
Computational Algebraic Geometry
  • DJVU
  • English
  • Year: 1993
  • Author: E. Becker, R. Neuhaus (auth.), Frédéric Eyssette, André Galligo (eds.)
Computational Algebraic Geometry
  • DJVU
  • English
  • Year: 1993
  • Author: E. Becker, R. Neuhaus (auth.), Frédéric Eyssette, André Galligo (eds.)
Computational Algebraic Geometry
  • DJVU
  • English
  • Year: 1993
  • Author: E. Becker, R. Neuhaus (auth.), Frédéric Eyssette, André Galligo (eds.)
search