Open AccessAchieving Verifiable and High Integrity Instrumentation and Control Systems through Complexity Awareness and Constrained Design. Final Report
Author(s) -
Matt Gibson,
Carl Elks,
Ashraf Tantawy,
Richard Hite,
Smitha Gautham,
Athira Varma Jayakumar,
Christopher Deloglos
Publication year - 2019
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Reports
DOI - 10.2172/1547345
Subject(s) - nuclear power , computer science , maintainability , systems engineering , industrial control system , verifiable secret sharing , risk analysis (engineering) , reliability engineering , software engineering , control (management) , engineering , set (abstract data type) , medicine , ecology , artificial intelligence , biology , programming language
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom