The Production Cell: An Exercise in the Formal Verification of a UML Model.

Johan Lilius Ivan Paltor

Published in: HICSS (2000)

Keyphrases

mathematical model
formal verification
probabilistic model
computational model
objective function
probability distribution
conceptual model
artificial intelligence
production system
metamodel
specification language
model checker