Home Advanced Search

Advanced Search - Page 1

Formal Methods: Industrial Use from Model to the Code
  • PDF
  • English
  • Year: 2012
  • Author: Jean-Louis Boulanger (ed.)
Certifiable Software Applications 1. Main Processes
  • PDF
  • English
  • Year: 2016
  • Author: Jean-Louis Boulanger
Static Analysis of Software: the Abstract Interpretation
  • PDF
  • English
  • Year: 2013
  • Author: Boulanger, Jean-Louis
Static Analysis of Software: the Abstract Interpretation
  • EPUB
  • English
  • Year: 2013
  • Author: Boulanger, Jean-Louis
Static Analysis of Software: The Abstract Interpretation
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Louis Boulanger
Formal Methods: Industrial Use from Model to the Code
  • PDF
  • English
  • Year: 2012
  • Author: Jean-Louis Boulanger
Static Analysis of Software: The Abstract Interpretation
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Louis Boulanger
Safety of Computer Architectures
  • PDF
  • English
  • Year: 2010
  • Author: Jean-Louis Boulanger
Formal Methods Applied to Complex Systems
  • PDF
  • English
  • Year: 2014
  • Author: Jean-Louis Boulanger
Safety Management for Software-based Equipment
  • PDF
  • English
  • Author: Jean?Louis Boulanger(auth.)
search