Refinement of Statecharts with Run-to-Completion Semantics.

Karla Morris Colin F. Snook Thai Son Hoang Robert Armstrong Michael J. Butler

Published in: FTSCS (2018)

Keyphrases

formal semantics
logic programming
conceptual model
conceptual modeling
agent oriented
logical framework
database
neural network
artificial intelligence
belief revision