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

Bibliographic Item (1.0)


  1. Robyn R Lutz & Johnny S K Wong
  2. Detecting unsafe Error Recovery schedules
  3. IEEE Tran SE-V18 n8(Aug 1992)pp749-760
  4. =THEORY concurrency formal SQA
      Uses graph theory to model good and bad ordering and timing between commands + an algorithm that searches out cases where a design leads to bad cases being possible.

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]