|
Formal analysis for realtime scheduling
by Dr. Bruno Dutertre & Victoria Stavridou.
From 19th AIAA/IEEE Digital Avionics Systems Conference. Philadelphia, PA. October, 2000.
BibTEX Entry
@inproceedings{dasc00,
AUTHOR = {Bruno Dutertre and Victoria Stavridou},
TITLE = {Formal analysis for realtime scheduling},
BOOKTITLE = {19th {AIAA/IEEE} Digital Avionics Systems Conference},
YEAR = {2000},
ADDRESS = {Philadelphia, {PA}},
MONTH = {October},
URL = {http://www.sdl.sri.com/papers/dasc00/}
}
Files
|
|