Login / Signup
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB)
J. Christian Attiogbé
Published in:
CoRR (2009)
Keyphrases
</>
formal specification
analysis tool
cooperative
data analysis
statistical analysis
model checking