Containment units

This publication has 12 references indexed in Scilit:

• Verifying properties of process definitions
  Published by Association for Computing Machinery (ACM) ,2000
• Chameleon: a software infrastructure for adaptive fault tolerance
  IEEE Transactions on Parallel and Distributed Systems, 1999
• An architecture for constructing self-evolving software systems
  Published by Association for Computing Machinery (ACM) ,1998
• Data flow analysis for verifying properties of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1994
• Status report: software reusability
  IEEE Software, 1993
• Foundations for the study of software architecture
  ACM SIGSOFT Software Engineering Notes, 1992
• A design approach for ultrareliable real-time systems
  Computer, 1991
• Definition and analysis of hardware- and software-fault-tolerant architectures
  Computer, 1990
• Efficient scheduling algorithms for real-time multiprocessor systems
  IEEE Transactions on Parallel and Distributed Systems, 1990
• System structure for software fault tolerance
  IEEE Transactions on Software Engineering, 1975