Formal Methods in Embedded Design.

Steven D. Johnson

Published in: Computer (2003)

Keyphrases

formal methods
formal analysis
artificial intelligence
embedded systems
design process
development lifecycle
modeling language
model checking
open source
software engineering
knowledge base
user interface
expert systems
formal specification
multi agent
model checker
information systems