Login / Signup

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.

Adrien ChampionRémi DelmasMichael DierkesPierre-Loïc GarocheRomain JobredeauxPierre Roux
Published in: FMICS (2013)
Keyphrases
  • formal methods
  • control system
  • real time
  • statistical analysis
  • formal analysis
  • probabilistic model
  • open source
  • building blocks
  • statistical analyses
  • safety critical
  • reactive systems