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

Formal Requirements Analysis of an Avionics Control System
 by Dr. Bruno Dutertre & Victoria Stavridou.

Appears in IEEE Transactions on Software Engineering, Volume 23, Number 5.
May, 1997.
Pages 267–278}.


BibTEX Entry
@Article{dutertre97,
    AUTHOR = {Bruno Dutertre and Victoria Stavridou},
    TITLE = {Formal Requirements Analysis of an Avionics Control System},
    JOURNAL = {{IEEE} Transactions on Software Engineering},
    VOLUME = {23},
    NUMBER = {5},
    YEAR = {1997},
    PAGES = {267--278\}},
    MONTH = {May},
    URL = {http://www.sdl.sri.com/papers/tse97/}
}
Files
 













 

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