• DocumentCode
    3786184
  • Title

    Formal Verification of Timed Systems: A Survey and Perspective

  • Author

    H. Falk

  • Volume
    92
  • Issue
    8
  • fYear
    2004
  • Firstpage
    1281
  • Lastpage
    1282
  • Keywords
    "Formal verification","Real time systems","Clocks","Data structures","Computational modeling","Very large scale integration","Logic testing","Timing","Synchronization","Tree graphs"
  • Journal_Title
    Proceedings of the IEEE
  • Publisher
    ieee
  • ISSN
    0018-9219
  • Type

    jour

  • DOI
    10.1109/JPROC.2004.831210
  • Filename
    1316039
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3786184