Login / Signup
Foreword to the Thematic Track: Quality in Safety-Critical Systems.
Marion Lepmets
Published in:
QUATIC (2016)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
agent architecture
embedded systems
support systems
nuclear power plant
management system
regulatory requirements
knowledge base
adaptive systems
information systems
expert systems
knowledge based systems