Approach towards the verification of hybrid rule/frame-based expert systems using coloured Petri nets

Chi Keung Simon Shiu, James N.K. Liu, Daniel S. Yeung

Research output: Journal article publicationConference articleAcademic researchpeer-review

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Approach towards the verification of hybrid rule/frame-based expert systems using coloured Petri nets'. Together they form a unique fingerprint.

Engineering

Computer Science

Chemistry

Economics, Econometrics and Finance