Formal Analysis of Objects State Changes and Transitions.

Uldis Donins Janis Osis Erika Asnina Asnate Jansone

Published in: ENASE (2012)

Keyphrases

formal analysis
d objects
state space
state transitions
agent model
knowledge base
moving objects
low cost
open source
formal methods