Sciweavers

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

8

ISORC
2003
IEEE

favoriteEmaildiscussreport

87views Distributed And Parallel Com...» more ISORC 2003»

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems

13 years 9 months ago

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems

Download www-rocq.inria.fr

Binoy Ravindran, Gérard Le Lann, Jinggang W

Real-time Traffic

ISORC 2003 | Software Engineering |

claim paper

Related Content

» A Generative Approach to Building a Framework for Hard RealTime Applications

» Correctness by Construction for HighIntegrity RealTime Systems A MetamodelDriven Approach

» MoPED A ModelBased Provisioning Engine for Dependability in ComponentBased Distributed Rea...

» Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time ...

» A Distributed RealTime Java System Based on CSP

» Cosimulation of Distributed Embedded RealTime Control Systems

» Hard RealTime Implementation of Embedded Software in JAVA

» Compositional Construction of RealTime Dataflow Networks

» An Approach to Distributed ComponentBased RealTime Application Software Development

Post Info
More Details (n/a)

Added	04 Jul 2010
Updated	04 Jul 2010
Type	Conference
Year	2003
Where	ISORC
Authors	Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li

Comments (0)