FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases.

Carmen Crlan, Daniel Ratiu

Browse the full SAFECOMP paper archive.