18 research outputs found

    MARS-C: modeling and reduction of soft errors in combinational circuits

    Full text link

    High-level modeling and verification of cellular signaling

    No full text
    corecore