Results 311 to 320 of about 4,275,193 (341)
Some of the next articles are maybe not open access.

Formal Methods: A Commentary

Journal of Information Technology, 1987
Martin R. Sadler, Tom Maibaum
openaire   +1 more source

Formal Methods

2000
Sally Johnson, Ricky Butler
openaire   +1 more source

Formal specification methods

1991
From the early 1970s conventional digital and analogue electronic systems have gradually been superseded by microprocessor-based designs. Subsequent experience shows that their reliability rarely exceeded that of earlier designs, due mainly to software errors. The root cause was the lack of design formality and rigour in producing software.
openaire   +2 more sources

Enhancing global access to cancer medicines

Ca-A Cancer Journal for Clinicians, 2020
Javier Cortes   +2 more
exaly  

Formal Methods

1995
Dan Craigen, Susan Gerhart, Ted Ralston
openaire   +2 more sources

MicroRNAome genome: A treasure for cancer diagnosis and therapy

Ca-A Cancer Journal for Clinicians, 2014
Ioana Berindan-Neagoe   +2 more
exaly  

Working with Formal Methods

Journal of Information Technology, 1987
openaire   +1 more source

Electronic patient‐reported outcome systems in oncology clinical practice

Ca-A Cancer Journal for Clinicians, 2012
Antonia V Bennett, Ethan M Basch
exaly  

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith
exaly  

Home - About - Disclaimer - Privacy