SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

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
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy