Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

167

Voted

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 11 months ago

Formal verification of the correctness in hybrid expert systems

Download www4.comp.polyu.edu.hk

Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung

Real-time Traffic

Information Management | KES 1997 |

claim paper

Related Content

» Formal Verification of SafetyCritical Hybrid Systems

» Formal Hazard Analysis of Hybrid Systems in cTLA

» Formal Verification and Visualization of Security Policies

» Scalable Automated Verification via ExpertSystem Guided Transformations

» Modelling Hybrid RuleFrameBased Expert Systems Using Coloured Petri Nets

» A formalization of an Ordered Logical Framework in Hybrid with applications to continuatio...

» From Natural Language to Formal Proof Goal

» Formal Models for Expert Finding on DBLP Bibliography Data

» Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Proto...

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1997
Where	KES
Authors	Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung

Comments (0)