Sciweavers

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

71

JCST
2002

69views more JCST 2002»

Requirements Specifications Checking of Embedded Real-Time Software

15 years 2 months ago

Requirements Specifications Checking of Embedded Real-Time Software

Download www.uml.org.cn

Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen

Real-time Traffic

JCST 2002 |

claim paper

Related Content

» A Symbolic Model Checker for Testing ASTRAL RealTime Specifications

» CRUSADE HardwareSoftware CoSynthesis of Dynamically Reconfigurable Heterogeneous RealTime ...

» A Tool to Assist in FineTuning and Debugging Embedded RealTime Systems

» Automating Formal Modular Verification of Asynchronous RealTime Embedded Systems

» Specification and Analysis of RealTime Systems Using RealTime Maude

» Selecting a Scheduling Policy for Embedded RealTime Monitor and Control Systems

» Behavioral Specification of RealTime Requirements

» ModelChecking of ComponentBased EventDriven RealTime Embedded Software

» ezRealtime A DomainSpecific Modeling Tool for Embedded Hard RealTime Software Synthesis

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JCST
Authors	Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen

Comments (0)