• DocumentCode
    336024
  • Title

    Applicable modelling, verification and analysis techniques for real-time systems

  • fYear
    1999
  • fDate
    36171
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems (Ref. No. 1999/006), IEE Colloquium on
  • Conference_Location
    IET
  • Type

    conf

  • Filename
    755108