A case study of a formalized security architecture
OPEN ACCESS
Loading...
Author / Producer
Date
2012
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
Pages / Article No.
Publisher
Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Event
Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
SPEZIFIKATIONEN (SOFTWARE ENGINEERING); ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING); COMPUTERANWENDUNGEN IN TECHNIK UND INGENIEURWESEN; SPECIFICATIONS (SOFTWARE ENGINEERING); RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING); COMPUTER APPLICATIONS IN ENGINEERING AND TECHNOLOGY
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Electronic Notes in Theoretical Computer Science Volume 80