Search results for ‘Jean-Louis Boulanger’

Filter & Refine

      Cover image for Data Validation
      Hardback
      Add to list Added to list

      Data Validation

      Jean-Louis Boulanger

      Embedded systems are becoming more numerous, and to be able to develop them more simply, they use data setting.

      The purpose of this book is to present the data preparation…

      $465.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Security of Computer Architectures
      Hardback
      Add to list Added to list

      Security of Computer Architectures

      Jean-Louis Boulanger

      It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments…

      $503.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Formal Methods Applied to Industrial Complex Systems
      Hardback
      Add to list Added to list

      Formal Methods Applied to Industrial Complex Systems

      A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.

      $689.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for CENELEC 50128 and IEC 62279 Standards
      Hardback
      Add to list Added to list

      CENELEC 50128 and IEC 62279 Standards

      Jean-Louis Boulanger

      CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and…

      $414.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Formal Methods Applied to Complex Systems: Implementation of the B Method
      Hardback
      Add to list Added to list

      Formal Methods Applied to Complex Systems: Implementation of the B Method

      A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.

      $725.99

      Available to order, ships in approx 4 weeksAvailable to order

      Hardback
      Add to list Added to list

      Static Analysis of Software: The Abstract Interpretation

      Jean-Louis Boulanger

      The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called…

      $644.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Safety Management of Software-based Equipment
      Hardback
      Add to list Added to list

      Safety Management of Software-based Equipment

      JL Boulanger

      A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives.

      $570.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Certifiable Software Applications 1: Main Processes
      Hardback
      Add to list Added to list

      Certifiable Software Applications 1: Main Processes

      Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)

      Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the…

      $202.95

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Certifiable Software Applications 2: Support Processes
      Hardback
      Add to list Added to list

      Certifiable Software Applications 2: Support Processes

      Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)

      Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation…

      $165.95

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Certifiable Software Applications 3: Downward Cycle
      Hardback
      Add to list Added to list

      Certifiable Software Applications 3: Downward Cycle

      Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)

      uide and Access Code) uide and Access Code)

      $165.95

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Certifiable Software Applications 4: Upward Cycle
      Hardback
      Add to list Added to list

      Certifiable Software Applications 4: Upward Cycle

      Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)

      Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for each unit level and the integration and validation of…

      $416.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for B Method
      Hardback
      Add to list Added to list

      B Method

      Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)

      B Method presents the B method (language and semantic) and the methodology to use it on real projects. The B method is one of the well known, formal methods used…

      $416.99

      Available to order, ships in approx 4 weeksAvailable to order