Login / Signup
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).
J. Christian Attiogbé
Published in:
IASTED Conf. on Software Engineering (2006)
Keyphrases
</>
case study
analysis tool
artificial intelligence
expert systems
statistical analysis
reverse engineering