 |
|
Home
> Publications >
Requirements Specification
|
|
|
|
Home
> Publications >
Requirements Specification
|
|
Requirements Specification for Process-Control Systems |
|
Nancy G. Leveson, Mats P.E. Heimdahl, Holly Hildreth, and Jon D.
Reese. Published in IEEE Transactions on Software Engineering (Sept. 1994)
Introduces RSML and the RSML requirements specification of TCAS II, an aircraft collision-avoidance system that motivated RSML's development. |
|
|
Copyright © 2003 Safeware Engineering Corporation. All rights reserved
