[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- R de Lemos & A Sauud & T Anderson
- A Train Set as a Case Study for the Requirements Analysis of Safety Critical Systems
- Computer Journal V35n1(Feb 1992)pp30-40 CR9307-0516
- =CASE-STUDY REQUIREMENTS Reality
Faults in Requirements cause disasters
Separate the mission from safety requirements
distinguish Physical Reality from System
Use logic for R and Petrie Nets for System.
Timed History Logic
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]