Login / Signup
Technology transfer: Formal analysis, engineering, and business value.
Ralf Huuck
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
formal analysis
technology transfer
e government
formal methods
design science
information technology
computational intelligence
agent model
ban logic
current status
computer science
artificial intelligence
book presents
engineering design
learning technologies
process oriented
low cost
nasa langley research center