Results 241 to 250 of about 34,882,646 (291)
Some of the next articles are maybe not open access.

Formal Methods

2022
Markus Roggenbach   +2 more
openaire   +2 more sources

From formal models to formal methods

1995
Despite apparent success in using formal models to capture principles of human-system interaction, there are few accounts that consider how these results might be applied in practical software development. This paper is based on work conducted within an ESPRIT Basic Research Action (Amodeus-2) investigating means of design expression and transfer ...
D. J. Duke, M. D. Harrison
openaire   +1 more source

Molecular imaging in oncology: Current impact and future directions

Ca-A Cancer Journal for Clinicians, 2022
Steven P Rowe, Martin G Pomper
exaly  

Adopting Formal Methods in an Industrial Setting: The Railways Case

World Congress on Formal Methods, 2019
M. T. Beek   +6 more
semanticscholar   +1 more source

Formal Methods

2000
Sally Johnson, Ricky Butler
openaire   +2 more sources

Radiotheranostics in oncology: Making precision medicine possible

Ca-A Cancer Journal for Clinicians, 2023
Eric Aboagye
exaly  

The Human in Formal Methods

World Congress on Formal Methods, 2019
S. Krishnamurthi, Tim Nelson
semanticscholar   +1 more source

Enhancing global access to cancer medicines

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

Home - About - Disclaimer - Privacy