Login / Signup
Air force concepts for the technical control and design verification of computer programs.
M. S. Piligian
Joseph L. Pokorney
Published in:
AFIPS Spring Joint Computing Conference (1967)
Keyphrases
</>
computer programs
air force
united states
case study
expert systems
design concepts
functional verification
reinforcement learning
object oriented
programming language
future directions
formal methods
computer programming
current status
formal verification