Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha

Ann E. Kelley Sobel. Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. In HICSS (5). pages 348-355, 1998. [doi]

Abstract

Abstract is missing.