Sciweavers

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

21

ICSE
2007
IEEE-ACM

favoriteEmaildiscussreport

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

14 years 11 months ago

Reliability Analysis of Concurrent Systems Using LTSA

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum

Real-time Traffic

ICSE 2007 | Software Engineering | Systems Using LTSA |

claim paper

Related Content

» Verifying process models built using parameterized state machines

» Parallel heterogeneous CBIR system for efficient hyperspectral image retrieval using spect...

» Deriving eventbased transition systems from goaloriented requirements models

» Producing reliable software an experiment

» Using Scenarios to Predict the Reliability of Concurrent ComponentBased Software Systems

» Safe and Reliable Use of Concurrency in MultiThreaded SharedMemory Systems

» Temporal Analysis for Adapting Concurrent Applications to Embedded Systems

» Detecting implied scenarios in message sequence chart specifications

» Componentoriented Reliability Analysis and Optimal Versionupgrade Problems for Open Source...

Post Info
More Details (n/a)

Added	09 Dec 2009
Updated	09 Dec 2009
Type	Conference
Year	2007
Where	ICSE
Authors	Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf

Comments (0)