• DocumentCode
    339842
  • Title

    Formal methods and industry

  • Author

    Alves-Foss, J. ; Kelley-Sobel, A.E.

  • Author_Institution
    University of Idaho
  • Volume
    Track3
  • fYear
    1999
  • fDate
    5-8 Jan. 1999
  • Firstpage
    398
  • Lastpage
    398
  • Abstract
    Summary form only given. Presents the introduction to the minitrack on Formal methods and industry.
  • Keywords
    Algebra; Application software; Computer industry; Embedded system; Failure analysis; Industrial accidents; Protocols; Risk analysis; Software architecture; Switching systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on
  • Conference_Location
    Maui, HI, USA
  • Print_ISBN
    0-7695-0001-3
  • Type

    conf

  • DOI
    10.1109/HICSS.1999.772887
  • Filename
    772887
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=339842