Login / Signup
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.
Wolf Zimmermann
Mandy Weißbach
Published in:
Logic, Computation and Rigorous Methods (2021)
Keyphrases
</>
main contribution
modeling framework
probabilistic model
logical framework
information retrieval
case study
model driven
data sets
databases
database systems
expert systems
theoretical framework
modeling method
update semantics