• DocumentCode
    2344830
  • Title

    Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)

  • fYear
    1998
  • fDate
    9-11 Dec. 1998
  • Abstract
    The following topics are dealt with: formal engineering methods; real time concurrency; verification methods; animation and model checking; test sets; specification languages; and object oriented systems
  • Keywords
    formal specification; object-oriented programming; parallel processing; program testing; program verification; real-time systems; specification languages; animation; formal engineering methods; model checking; object oriented systems; real time concurrency; specification languages; test sets; verification methods;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Engineering Methods, 1998. Proceedings. Second International Conference on
  • Conference_Location
    Brisbane, Queensland, Australia
  • Print_ISBN
    0-8186-9198-0
  • Type

    conf

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