Sciweavers

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

119

CODES
1999
IEEE

104views Software Engineering» more CODES 1999»

Timing coverification of concurrent embedded real-time systems

15 years 7 months ago

Timing coverification of concurrent embedded real-time systems

Download www.cs.york.ac.uk

Pao-Ann Hsiung

Real-time Traffic

CODES 1999 | Software Engineering |

claim paper

Related Content

» Automating Formal Modular Verification of Asynchronous RealTime Embedded Systems

» Managing Dynamic Concurrent Tasks in Embedded RealTime Multimedia Systems

» Strengthening Property Preservation in Concurrent RealTime Systems

» A Framework for Designing Embedded RealTime Controllers

» MIRROR A StateConscious Concurrency Control Protocol for Replicated RealTime Databases

» Pessimistic Concurrency Control and Versioning to Support Database Pointers in RealTime Da...

» Hardwaresoftware coverification of concurrent embedded realtime systems

» Improvement to Quick ProcessorDemand Analysis for EDFScheduled RealTime Systems

» ModelChecking of ComponentBased EventDriven RealTime Embedded Software

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	1999
Where	CODES
Authors	Pao-Ann Hsiung

Comments (0)