Login / Signup
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.
Hongyu Zhang
Jeremy S. Bradbury
James R. Cordy
Jürgen Dingel
Published in:
SCAM (2005)
Keyphrases
</>
distributed systems
successful deployment
computer systems
knowledge based systems
complex systems
neural network
website
expert systems
management system
object oriented
learning systems
data exchange
multiple sources
formal methods
software implementation