Sciweavers

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

9

RTSS
1993
IEEE

favoriteEmaildiscussreport

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

13 years 8 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)