• DocumentCode
    1954241
  • Title

    [Title page i]

  • fYear
    2009
  • fDate
    1-3 July 2009
  • Abstract
    The following topics are dealt with: systems design; concurrency; formal specification; formal verification.
  • Keywords
    concurrency control; formal specification; formal verification; systems analysis; concurrency; formal specification; formal verification; systems design;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design, 2009. ACSD '09. Ninth International Conference on
  • Conference_Location
    Augsburg
  • ISSN
    1550-4808
  • Print_ISBN
    978-0-7695-3697-2
  • Type

    conf

  • DOI
    10.1109/ACSD.2009.1
  • Filename
    5291040
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1954241