Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

VER I

 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2002
2002
Since the ex act time a spe cific nu cleus un der goes ra dio ac tive de cay can not be spec i fied, nor can show ers caused by… Expand
1997
1997
Formalmethods can be applied with di erent levels of rigor The more rigorously used the more con dence is obtained in a formal… Expand
Highly Cited
1995
Highly Cited
1995
Most verification is concerned with finding incorrect code. Instead, this view looks at the probability that the code will fail… Expand
  • table V
1995
1995
This paper examines how formal speci cation techniques can support the ver i cation and validation V V of knowledge based systems… Expand
  • figure V