Practical Experience with an Ada-Based Formal Specification/Language on a Large Project.

Lawrence Yelowitz

Published in: IEEE Symposium on Security and Privacy (1984)

Keyphrases

practical experience
formal specification language
e learning
temporal logic
case study
neural network
learning algorithm
learning community
formal methods