NTRS
NTRS - NASA Technical Reports Server
Search
more_vert
Collections
About
News
Help
Login
Back to Results
Requirements Elicitation, Analysis and Verification Using FRET and CoCoSIM
Document ID
20220016027
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Andreas Katis
(Wyle (United States) El Segundo, California, United States)
Date Acquired
October 24, 2022
Subject Category
Mathematical And Computer Sciences (General)
Meeting Information
Meeting:
Formal and Exhaustive Analysis of Numerical Intensive Control Software for Embedded Systems (FEANICSES 2022)
Location:
Toulouse
Country:
FR
Start Date:
December 5, 2022
End Date:
December 7, 2022
Sponsors:
Agence Nationale de la Recherche
Funding Number(s)
CONTRACT_GRANT: 80ARC020D0010
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
NASA Peer Committee
Keywords
Formal Requirements Elicitation Tool
CoCoSim
Available Downloads
Name
Type
FEANICSES_2022_slides.pdf
STI
cloud_download
content_copy
visibility
Related Records
There are no records associated with this record.
visibility_off
No Preview Available