J. Ozello

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Safety properties of critical software are consequences of the application safety properties (i.e. the front collision of two trains must not occur), and of the system design choices. This paper presents the first results of a SNCF and CESIR join research project which purpose is to design a constructive and formal method to derive, at each design level,(More)
  • 1