Achieving Verifiable and High Integrity Instrumentation and Control Systems through Complexity Awareness and Constrained Design. Final Report
Matt Gibson
◽
Carl Elks
◽
Ashraf Tantawy
◽
Richard Hite
◽
Smitha Gautham
◽
...
Daniel Holzhauer
◽
◽
Michael Mylrea
K.E. Heinemeier
◽
H. Akbari
◽
D. Claridge
◽
J. Haberl
◽
B. Poynor
◽
...
W. D. Redus
◽
G. R. Craig
◽
W. J.B. Oldham
K. DePodesta
◽
D. Birlingmair
◽
R. West
Heino Widdel
◽
Florian Motz
Par-Anders Albinsson
◽
Magnus Morin
◽
Johan Fransson
Z. Sun
◽
B. Li
◽
S. J. Dyke
◽
C. Lu
A. Al-Ammouri
◽
◽
H.A. Al-Ammori
◽
A.E. Klochan
◽
A.M. Al-Akhmad
◽
...
Igor Bezukladnikov
◽
Anna Mironova
◽
Aleksandr Yuzhakov