• DocumentCode
    1624874
  • Title

    OCL goes real-time

  • Author

    Rammig, Franz J. ; Flake, Stefan ; Watson, Ben ; Hogg, John ; Tsai, Wei-Tek

  • Author_Institution
    Univ. Paderborn
  • fYear
    2002
  • fDate
    6/24/1905 12:00:00 AM
  • Firstpage
    421
  • Lastpage
    421
  • Keywords
    Embedded system; Formal verification; Object oriented modeling; Process design; Proposals; Real time systems; Software engineering; Software standards; Software systems; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on
  • Print_ISBN
    0-7695-1558-4
  • Type

    conf

  • DOI
    10.1109/ISORC.2002.1003808
  • Filename
    1003808
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1624874