[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Jonathan P Bowen & Michael G Hinchey
- Formal Methods andSafety Critical Standards
- 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 for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]