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

Bibliographic Item (1.0)

BowenHinchey94

  1. Jonathan P Bowen & Michael G Hinchey
  2. Formal Methods andSafety Critical Standards
  3. IEEE Computer Magazine V27n8(Aug 1994)pp68-71
      Quotes IEEE standard definitions Most standards are reccommending formal methods rather than mandating them or using them. Table 1, p70: shows that only 1 out of 5 US standards has FMs, but all 7 non-US standards have FMS

      FMs mentioned in standards: CCS(2), CSP(2), HOL(2), LOTOS(2), OBJ(2), Temporal Logic(2), VDM(3), Z(4)



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]