Norman F. Schneidewind
Reliability Modeling for Safety Critical Software
AdaEurope, 1996.
@inproceedings{AdaEurope-1996-Schneidewind, author = "Norman F. Schneidewind", booktitle = "{Proceedings of the First Ada-Europe International Conference on Reliable Software Technologies}", doi = "10.1007/BFb0013476", isbn = "3-540-61317-X", pages = "17--37", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Reliability Modeling for Safety Critical Software}", volume = 1088, year = 1996, }