Engineering safety-critical systems (1996)

by J McDermid
Venue:In I. Wand and R. Milner Eds., Computing Tomorrow, Future Research Directions in Computer Science