Intertwined Development and Formal Verification of a 60x Bus Model.

Matt Kaufmann Carl Pixley

Published in: ICCD (1997)

Keyphrases

formal verification
prior knowledge
probabilistic model
computational model
mathematical model
case study
probability distribution
experimental data
neural network
hidden markov models
partial order
formal model
partial information