Verification

Verification in the field of space systems engineering covers two verification processes: Qualification and Acceptance
Wikipedia

Topic mentions per year

Topic mentions per year

1953-2018
0500100019532017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
This paper presents an extension of our previous work which proposes a new speaker representation for speaker verification. In… (More)
  • table I
  • table II
  • figure 2
  • table III
  • figure 3
Is this relevant?
Highly Cited
2011
Highly Cited
2011
This paper describes a major new release of the PRISM probabilistic model checker, adding, in particular, quantitative… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Unfortunately, cost and time are always restraints; the impact of simulation models to study the dynamic system performance is… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this paper we describe the major elements of MIT Lincoln Laboratory’s Gaussian mixture model (GMM)-based speaker verification… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
1999
Review
1999
cess support for formal methods. Model checkers and other finite-state verification tools allow developers to detect certain… (More)
  • figure 2
  • figure 3
  • table 1
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Workflow management systems will change the architecture of future information systems dramatically. The explicit representation… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Fingerprint verification is one of the most reliable personal identification methods. However, manual fingerprint verification is… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We introduce the framework of hybrid automata as a model and speci cation language for hybrid systems. Hybrid automata can be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abshac-This paper deals with describing and analyzing concurrent systems, such as communication systems, whose behavior is… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?