[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

DutertreStavidou97

  1. Bruno Dutertre & Victoria Stavidou
  2. Formal Requirements Analysis of an Avionics Control System
  3. IEEE Trans Softw Eng VSE23n5(May 1997)pp267-278
  4. =DEMO V&V REQUIREMENTS LOGIC TOOLS TIMING RISKS REALITY PVS [PVS]
  5. model of time and clocks
  6. exposed some unstated assumptions about REALITY and one defect

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]