Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'

Aircraft ground servicing - Event-B Model This dataset is supporting the journal article 'Analysing the safety implications of security risks in cyber-physical systems' in The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II https://link.springer.com/chapter/10.1007/978...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Snook, Colin, Hoang, Son, Salehi Fathabadi, Asieh, Butler, Michael, Kubisch, Martin
Format:	Dataset
Sprache:	eng
Schlagworte:	Event-B, Safety, Security, V&V, Formal Methods
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!