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

Bibliographische Detailangaben

Veröffentlicht in:	SAFECOMP (39. : 2020 : Lissabon; Online) Computer safety, reliability, and security
1. Verfasser:	Cârlan, Carmen (VerfasserIn)
Weitere Verfasser:	Ratiu, Daniel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!