A Methodology for the Construction of Scheduled Systems.

Karine Altisen Gregor Gößler Joseph Sifakis

Published in: FTRTFT (2000)

Keyphrases

real time
distributed systems
information systems
expert systems
computer systems
data sets
bayesian networks
multi agent
lower bound
management system
intelligent systems
knowledge based systems
complex systems