The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits
Work
Year: 2011
Type: article
Source: Formal Aspects of Computing
Authors Richard Banach, Marco Bozzano
Institution University of Manchester
Cites: 49
Cited by: 7
Related to: 10
FWCI: 0.48
Citation percentile (by year/subfield): 82.41
Subfield: Mechanical Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: bronze