• DocumentCode
    3341856
  • Title

    Proceedings First IEEE International Conference on Formal Engineering Methods

  • fYear
    1997
  • fDate
    12-14 Nov. 1997
  • Abstract
    Presents the front cover of the proceedings.
  • Keywords
    formal specification; formal verification; applications; embedded systems; experience; formal engineering methods; method integration; object orientation; process algebras; protocols; requirements; specifications; state; testing; verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
  • Conference_Location
    Hiroshima, Japan
  • Print_ISBN
    0-8186-8002-4
  • Type

    conf

  • DOI
    10.1109/ICFEM.1997.630385
  • Filename
    630385
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3341856