• DocumentCode
    312976
  • Title

    Analyzing Partially-Implemented Real-Time Systems

  • Author

    Avrunin, George S. ; Corbett, James C. ; Dillon, Laura K.

  • Author_Institution
    Department of Mathematics and Statistics, University of Massachusetts
  • fYear
    1997
  • fDate
    17-23 May 1997
  • Firstpage
    228
  • Lastpage
    238
  • Keywords
    Real-time, concurrency, static analysis, Ada, temporal logic, hybrid systems, Graphical Interval Logic; Computer science; Concurrent computing; Electronic equipment testing; Error correction; Logic; Permission; Real time systems; Statistical analysis; System testing; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 1997., Proceedings of the 1997 International Conference on
  • ISSN
    0270-5257
  • Print_ISBN
    0-89791-914-9
  • Type

    conf

  • DOI
    10.1109/ICSE.1997.610259
  • Filename
    610259
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=312976