Login / Signup
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
Federico Banti
Alessandro Lapadula
Rosario Pugliese
Francesco Tiezzi
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
case study
distributed systems
intelligent systems
knowledge based systems
statistical analysis
learning systems
hardware and software
database
real time
neural network
real world
high level
expert systems
quantitative analysis
formal methods