Login / Signup
Developing reactive systems in a VDM framework.
Yves Ledru
Published in:
IWSSD (1991)
Keyphrases
</>
main contribution
reactive systems
data mining
learning algorithm
database systems
software engineering