S3: Proving the Safety of Critical Systems.

Nicolas Breton Yoann Fonteneau

Published in: RSSRail (2016)

Keyphrases

expert systems
computer systems
management system
databases
information systems
learning systems
complex systems
systems require
feature selection
web pages
three dimensional
information technology
building blocks
computing systems