[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Bruno Dutertre & Victoria Stavidou
- Formal Requirements Analysis of an Avionics Control System
- IEEE Trans Softw Eng VSE23n5(May 1997)pp267-278
- =DEMO V&V REQUIREMENTS LOGIC TOOLS TIMING RISKS REALITY PVS
- model of time and clocks
- exposed some unstated assumptions about REALITY and one defect
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]