Analysis of the influence of using parameter domains on ramdom-stimulation-based...

Arbitrage in financial markets: a Bayesian approach for verification

Evaluation of analgesic profile of tramadol by the temporal verification of its plasmatic...

Modeling and formal verification method applied to air traffic systems

Classificação e verificação de impressões digitais

Hearing aid verification: comparison of two protocols of probe microphone measur...

Teleducation: development and evaluation of an educational material in English and...

Formal verification of systems modeled as finite state machines

Electroacoustic verification of frequency modulation systems in cochlear implant...

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