1
by Besnard, Denis, Gacek, Cristina, Jones, Cliff
Published 2006
Springer London
Table of Contents: ... -- Cognitive conflicts in dynamic systems -- Systems Descriptions -- Architectural description of dependable...