Sciweavers

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

105

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

15 years 7 months ago

Symbolic Model Checking for Event-Driven Real-Time Systems

Download cc.ee.ntu.edu.tw

Jin Yang, Aloysius K. Mok, Farn Wang

Real-time Traffic

Control Systems | RTSS 1993 |

claim paper

Related Content

» ModelChecking of ComponentBased EventDriven RealTime Embedded Software

» Analyzing RealTime EventDriven Programs

» EventDriven Support of RealTime Sentient Objects

» Compositional and Symbolic ModelChecking of RealTime Systems

» ModelChecking for RealTime Systems

» A Symbolic Model Checker for Testing ASTRAL RealTime Specifications

» Modelling Control Systems in an EventDriven Coordination Language

» Lazy Approximation for Dense RealTime Systems

» A Practical Method for Verifying EventDriven Software

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1993
Where	RTSS
Authors	Jin Yang, Aloysius K. Mok, Farn Wang

Comments (0)