Login / Signup
System Specifications for the DYSEAC
Alan L. Leiner
Published in:
J. ACM (1954)
Keyphrases
</>
software engineering
artificial intelligence
formal specification
high level
delay insensitive
case study
specification language
neural network
decision making
objective function
information technology
relational databases
model checking
operational semantics
asynchronous circuits
bounded model checking