Sign in

Formal verification of programs specified with signal: application to a power transformer station controller.

Hervé MarchandÉric RuttenMichel Le BorgneMazen Samaan
Published in: Sci. Comput. Program. (2001)
Keyphrases
  • formal verification
  • real time
  • program slicing
  • model checking
  • power transformers
  • neural network
  • signal processing
  • control algorithm
  • control signals