Event B Development of a Synchronous AADL Scheduler.

Jean-Paul Bodeveix Mamoun Filali

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

software engineering
knowledge based systems
information processing
data mining
knowledge management
development process
temporal patterns
data sets
neural network
information systems
decision making
response time
decision support
event detection
st century