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
    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 = {}


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