Login / Signup
A Case Study on Verifying a Supervisor Component Using McErlang.
David Castro
Víctor M. Gulías
Clara Benac Earle
Lars-Åke Fredlund
Samuel Rivas
Published in:
Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
</>
case study
test bed
model checking
real world
artificial intelligence
e learning
high level
cooperative
data analysis
viewpoint
control system