Login / Signup
The Future of Formal Methods and GALS Design.
Kenneth S. Stevens
Daniel Gebhardt
JunBok You
Yang Xu
Vikas S. Vij
Shomit Das
Krishnaji Desai
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
formal methods
knowledge based systems
long term
design process
development lifecycle
database
data mining
high level
software engineering
fault tolerant
formal specification
formal analysis
model checker