Login / Signup
The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes.
Susan L. Gerhart
Published in:
Diffusion, Transfer and Implementation of Information Technology (1993)
Keyphrases
</>
formal methods
technology transfer
information technology
formal analysis
artificial intelligence
software engineering
temporal logic
real world
information systems
fine grained
researchers and practitioners