Login / Signup
The design of an experiential component for a formal methods computer science subject.
Roger Duke
Published in:
ACSE (1996)
Keyphrases
</>
formal methods
computer science
conceptual framework
artificial intelligence
knowledge based systems
development lifecycle
safety critical
software engineering
computer scientists
model checker
security properties
formal analysis
formal specification
web services
model checking
case study
process algebra