NASA Logo

NTRS

NTRS - NASA Technical Reports Server

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
No Preview Available