An ASIS-Based Static Analysis Tool for High-Integrity Systems.

William W. Pritchett IV John D. Riley

Published in: SIGAda (1998)

Keyphrases

analysis tool
computer systems
management system
wide range
expert systems
real time
artificial intelligence
case study
information technology
evolutionary algorithm
systems require