Verification of adequacy of the MacConrmack Scheme in the solution of pressurized...

Not available

Design of steel columns to bending and compression using effective length, notional...

Timing verification of the coupling between electric circuits simulating the behavior...

Formal verification of distribuited discrete systems

Experimental verification of the virtual electric quadruple photon spectrum

Belief revision in ACTL using bounded model checking

Hearing aid verification using visible speech mapping

Verification of diesel fuel lubricity behavior with addition of ethanol

Construction of an ohmic heating equipment and comparative analysis of green fluorescent...