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
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…
