Login / Signup
Alloy meets TLA+: An exploratory study.
Nuno Macedo
Alcino Cunha
Published in:
CoRR (2016)
Keyphrases
</>
temporal logic
wide range
artificial neural networks
image registration
mechanical properties
real time
real world
genetic algorithm
image processing
three dimensional
feature extraction
multiscale
model checking
literature review