AdaCore Technologies for CENELEC EN 50128:2011
Jean-Louis Boulanger & Quentin Ochem
This document presents the usage of AdaCore’s technology in conjunction with the CENELEC EN 50128:2011 standard. It describes where the technology fits best and how it can best be used to meet various requirements of the standard.
Written by Jean-Louis Boulanger and Quentin Ochem, for AdaCore