Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by N. G. Leveson
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification
Related publications
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
Solid Waste Information and Tracking System (SWITS) 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