• DocumentCode
    2338737
  • Title

    A Formalization Of The FIP Protocol Using Estelle

  • Author

    Sisto, Riccardo ; Valenzano, Adriano

  • Author_Institution
    Politecnico di Torino
  • fYear
    1992
  • fDate
    11-14 Aug 1992
  • Firstpage
    348
  • Lastpage
    353
  • Keywords
    Communication industry; Communication system control; Communication system security; Computer network reliability; Data communication; Formal specifications; Manufacturing systems; Production facilities; Protocols; Prototypes;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Emerging Technologies and Factory Automation, 1992. IEEE International Workshop on
  • Print_ISBN
    0-7803-0886-7
  • Type

    conf

  • DOI
    10.1109/ETFA.1992.683278
  • Filename
    683278
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2338737