A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems

Rogério de Lemos, Amer Saeed, Tom Anderson. A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. Comput. J., 35(1):30-40, 1992.

Abstract

Abstract is missing.