Login / Signup
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.
Harald Fecher
Michael Huth
Heiko Schmidt
Jens Schönborn
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
formal semantics
state machines
state machine
petri net
logical language
recurrent networks
first order logic
theorem prover
modeling language
logical reasoning
high level
artificial neural networks
data model
sequence diagrams
modelling language
owl dl ontology