Amanote Research
Register
Sign In
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification
doi 10.1145/74587.74628
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1989
Authors
M. S. Jaffe
N. G. Leveson
Publisher
ACM Press
Related search
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Software
Requirements Variability Specification for Data Intensive Software
International Journal of Software Engineering & Applications
Test Case Generation for Real-Time System Software Using Specification Diagram
International Journal of Intelligent Engineering and Systems
Engineering
Computer Science
The SIGNAL Software Environment for Real-Time System Specification, Design, and Implementation
Light Duty Utility Arm Software Requirements Specification
Real-Time Software Use in Nuclear Materials Handling Criticality Safety Control
Specification of Advanced Safety Modeling Requirements (Rev. 0).
Normalization of Requirements Specification Document on Software Project Management
Journal of Software
Solid Waste Information and Tracking System (SWITS) Software Requirements Specification
