Skip to search formSkip to main contentSkip to account menu
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… 
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… 
1995
1995
This paper examines how formal speci cation techniques can support the ver i cation and validation V V of knowledge based systems… 
  • figure V