Critical systems development methodology using formal techniques.

Dominique Méry Neeraj Kumar Singh

Published in: SoICT (2012)

Keyphrases

management system
artificial intelligence
complex systems
database
machine learning
information systems
decision making
decision trees
multi agent
intelligent systems
computer systems
learning systems
formal methods
systems require