Enforcing S&D pattern design in RCES with modeling and formal approaches

The requirement for higher security and dependability of systems is continuously increasing even in domains not traditionally deeply involved in such issues. Yet, evolution of embedded systems towards devices connected via Internet, wireless communication or other interfaces requires a reconsiderati...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hamid, Brahim, Gürgens, Sigrid, Jouvray, Christophe, Desnos, Nicolas
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Security and privacy
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!