Login / Signup
Formal verification of programs specified with signal: application to a power transformer station controller.
Hervé Marchand
Éric Rutten
Michel Le Borgne
Mazen 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