Proof-Based System Engineering Using a Virtual System Model.

Martin Biely Gérard Le Lann Ulrich Schmid

Published in: ISAS (2005)

Keyphrases

object model
database
real time
statistical model
genetic algorithm
knowledge base
objective function
experimental data
theorem proving
modeling method