Login / Signup

Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program.

Christoph AndriessensThomas Lindner
Published in: Formal Methods for Industrial Applications (1995)
Keyphrases
  • control program
  • probability theory
  • automatic programming
  • data analysis
  • possibility theory
  • neural network
  • database systems
  • belief functions
  • conditional independence