Verifying property preservation for component-based software systems (a Petri-net-based methodology)

組合軟件系統屬性保留之驗證 (一個基於皮特里網的方法)

Student thesis: Doctoral Thesis

View graph of relations

Author(s)

  • Wai Ming MAK

Related Research Unit(s)

Detail(s)

Awarding Institution
Supervisors/Advisors
  • To Yat CHEUNG (Supervisor)
Award date31 Jul 2001

Link(s)

Permanent Link https://scholars.cityu.edu.hk/en/theses/theses(0007d7ca-9b07-49b7-83e3-f5b6018e0cfa).html
Other link(s)

Links

    Research areas

  • Component software, Petri nets, Software engineering