Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018).

Michael J. Butler Alexander Raschke

Published in: Sci. Comput. Program. (2020)

Keyphrases

temporal logic
mechanical properties
room temperature
wide range
image processing
decision making
database systems
relational databases
viewpoint
multiresolution
model checking