Protocol Specification Design using an Object-based Petri net Formalism

• SILVA V. P.

収録刊行物

• International Journal of Software Engineering and Knowledge Engineering

  International Journal of Software Engineering and Knowledge Engineering 9 (1), 97-125, 1999

詳細情報

• CRID: 1571698601673377024
• NII論文ID: 80011049693
• データソース種別:
  • CiNii Articles