Formal Development of Real-Time Priority-Based Schedulers.

Cristina Cerschi Seceleanu

Published in: ECBS (2005)

Keyphrases

software engineering
real time
formal methods
neural network
multi agent
high speed
knowledge based systems
e learning
database systems
low cost
open source
decision support
quality of service
moving target