• DocumentCode
    2069179
  • Title

    A discrete time model for performance evaluation and correctness verification of real time systems

  • Author

    Bucci, G. ; Sassoli, L. ; Vicario, E.

  • Author_Institution
    Universita di Firenze
  • fYear
    2003
  • fDate
    2-5 Sept 2003
  • Firstpage
    134
  • Lastpage
    143
  • Keywords
    Concurrent computing; Delay effects; Electronic mail; Exponential distribution; Performance analysis; Petri nets; Real time systems; State-space methods; Stochastic processes; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Petri Nets and Performance Models, 2003. Proceedings. 10th International Workshop on
  • ISSN
    1063-6714
  • Print_ISBN
    0-7695-1976-8
  • Type

    conf

  • DOI
    10.1109/PNPM.2003.1231550
  • Filename
    1231550
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2069179