On the specification of operations on the rational behaviour of systems

Marcello M. Bonsangue Stefan Milius Jurriaan Rot

Published in: EXPRESS/SOS (2012)

Keyphrases

formal methods
complex systems
management system
computer systems
decision trees
distributed systems
database
data sets
neural network
information retrieval
search engine
multimedia
website
computing systems