A Framework for Software Safety in Safety-Critical Systems.

Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy

Browse the full SoMeT paper archive.