Guest editor's corner research directions in formal methods technology transfer.
Hossein SaiedianPublished in: J. Syst. Softw. (1998)
Keyphrases
- formal methods
- technology transfer
- virtual machine
- formal analysis
- model checking
- safety critical
- e government
- artificial intelligence
- knowledge based systems
- model checker
- process algebra
- current status
- formal specification
- software engineering
- nasa langley research center
- reactive systems
- design science
- modeling language
- computational intelligence
- development lifecycle
- security properties
- expert systems
- databases