Login / Signup
A Few Remarks about Formal Development of Secure Systems.
Éric Jaeger
Thérèse Hardin
Published in:
HASE (2008)
Keyphrases
</>
knowledge based systems
complex systems
information processing
technical issues
management system
design tools
formal methods
data sets
software engineering
distributed systems
computer systems
building blocks
formal model
support systems
safety critical