Login / Signup
Discovering Specifications for Unknown Procedures - Work in Progress.
Florin Craciun
Chenguang Luo
Guanhua He
Shengchao Qin
Wei-Ngan Chin
Published in:
WING@ETAPS/IJCAR (2010)
Keyphrases
</>
database
formal specification
delay insensitive
real world
genetic algorithm
high level
specification language
databases
neural network
case study
image segmentation
reinforcement learning
data structure
functional requirements
asynchronous circuits
attribute grammars