Skip to main content

Comparison of Concurrent Software Reliability Models

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Moawad:ICSE84,
  author    = {Ramadan Moawad},
  title     = {Comparison of Concurrent Software Reliability Models},
  booktitle = {ICSE},
  pages     = {222--229},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}

Related papers

Choosing a Testing Method to Deliver Reliability ICSE 1997
The universe model: an approach for improving the modularity and reliability of concurrent programs FSE 2000
RaPiD: a toolkit for reliability analysis of non-deterministic systems FSE 2014
Producing more reliable software: mature software engineering process vs. state-of-the-art technology? ICSE 2000
Asynchronous programs with prioritized task-buffers FSE 2012
Implementing Concurrency Control in Reliable Object-Oriented Systems ECOOP 1988
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern OOPSLA 2025
Software model checking for distributed systems with selector-based, non-blocking communication ASE 2013