Automating Reliability and Safety Analysis Based on Formal System Models

Liggesmeyer, P.; Rothfelder, M.

Reference:

P. Liggesmeyer, M. Rothfelder, "Automating Reliability and Safety Analysis Based on Formal System Models", in International Conference and workshop: Engineering of Computer Based Systems, 1998, pp. 264-271.

Bibtex Entry:

@INPROCEEDINGS{Liggesmeyer1998a,
  author = {Liggesmeyer, P. and Rothfelder, M.},
  title = {Automating Reliability and Safety Analysis Based on Formal System
	Models},
  booktitle = {International Conference and workshop: Engineering of Computer Based
	Systems},
  year = {1998},
  pages = {264-271}
}