Completeness, Robustness, and Safety in Real-Time Software Requirements Specification

doi 10.1145/74587.74628
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press