Login / Signup
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.
Oana Andrei
Liliana Ibanescu
Hélène Kirchner
Published in:
Essays Dedicated to Joseph A. Goguen (2006)
Keyphrases
</>
formal methods
formal specification
formal analysis
development lifecycle
case study
multi agent
software development
decision support
black box