Login / Signup
Automated implementations of Lotos specification.
Ludo Cuypers
Published in:
Microprocess. Microprogramming (1992)
Keyphrases
</>
temporal ordering
manual inspection
high level
semi automated
fully automated
efficient implementation
formal specification
fully automatic
formal verification
automated analysis
data sets
semi automatic
case study
decision trees
image processing
computer vision
machine learning