Login / Signup
Tool Demonstration: CHET: Checking Specifications in Java Systems.
Steven P. Reiss
Published in:
IWPC (2005)
Keyphrases
</>
management system
complex systems
high level
object oriented
distributed systems
computer systems
neural network
artificial intelligence
open source
intelligent systems
building blocks
database applications
software tools
distributed object