Login / Signup
An Experimental Analysis for Classifying Specification Processes.
Seiichi Komiya
Motoshi Saeki
Shinichi Honiden
Junzou Kato
Akira Ohmori
Hisayuki Horai
Shigeru Ohtsuki
Kazuhito Ohmaki
Published in:
SEKE (1993)
Keyphrases
</>
formal specification
real time
decision making
relational databases
evolutionary algorithm
computational models
stochastic processes
specification language
provably correct