Stepwise Development of Dependable Systems

@inproceedings{Troubitsyna2000StepwiseDO,
  title={Stepwise Development of Dependable Systems},
  author={Elena Troubitsyna},
  year={2000}
}

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective

  • 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
  • 2019
VIEW 1 EXCERPT
CITES METHODS

Towards a Formal Approach to Analysing Security of Safety-Critical Systems

  • 2018 14th European Dependable Computing Conference (EDCC)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

Documenting the Progress of the System Development

  • Methods, Models and Tools for Fault Tolerance
  • 2009
VIEW 1 EXCERPT
CITES BACKGROUND