Sciweavers

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

8

ICSE
2007
IEEE-ACM

favoriteEmaildiscussreport

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

14 years 4 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)