Title
A model-based framework for the design of a symbolic scheduler for pre-emptive real-time tasks.
Year
DOI
Venue
2012
10.1109/ISSPA.2012.6310654
ISSPA
Keywords
Field
DocType
automata theory,automata,real time systems,synchronization,supervisory control,computational modeling
Automata theory,Uniprocessor system,Scheduling (computing),Computer science,Supervisory control,Parallel computing,Supervisory control theory,Multiprocessing,Discrete time and continuous time,State space
Conference
Citations 
PageRank 
References 
0
0.34
7
Authors
2
Name
Order
Citations
PageRank
Vasudevan Janarthanan172.48
abdelouahed gherbi215124.82