Browsing by Author "Joseph, Richard"

Sort by: Order: Results:

  • McManus, Alex; Price, Chris; Snooke, Neal; Joseph, Richard (2006-03-22)
    Automotive engineers are under increasing pressure to produce correct, safe designs in shorter time frames. We present an algorithm for automating Design Verification of automotive electrical circuits, building on the ...