Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,322,694 papers from all fields of science
Search
Sign In
Create Free Account
Verification (spaceflight)
Known as:
Verification
Verification in the field of space systems engineering covers two verification processes: Qualification and Acceptance
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
System requirements (spacecraft system)
Verification and validation
Broader (1)
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Design by contract of cyber-physical systems driven by simulation and based on properties modeling
A. Tundis
,
M. Mühlhäuser
2017
Corpus ID: 54206547
Requirements elicitation and analysis is the basis for the successful development of a Cyber-Physical Systems (CPS). The…
Expand
Review
1997
Review
1997
The integrated specification and analysis of functional, temporal, and resource requirements
H. Ben-Abdallah
,
Insup Lee
,
Y. S. Kim
Proceedings of ISRE '97: 3rd IEEE International…
1997
Corpus ID: 206994954
The Graphical Communicating Shared Resources, GCSR, is a specification language with a precise, operational semantics for the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE