Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Anastasia Mavridou (Wyle (United States) El Segundo, California, United States) Andreas Katis (Wyle (United States) El Segundo, California, United States) Thomas Pressburger (Ames Research Center Mountain View, California, United States) Khanh V. Trinh (Wyle (United States) El Segundo, California, United States) Borja Fernández Adiego (European Organization for Nuclear Research Geneva, Switzerland) Ignacio David Lopez Miguel (European Organization for Nuclear Research Geneva, Switzerland) Jean-Charles Tournier (European Organization for Nuclear Research Geneva, Switzerland) Marcin Bes (European Organization for Nuclear Research Geneva, Switzerland) Enrique Blanco Viñuela (European Organization for Nuclear Research Geneva, Switzerland) Date Acquired
April 6, 2023
Subject Category
Mathematical and Computer Sciences (General) Meeting Information
Meeting: NASA Formal Methods 2023
Location: Houston, TX
Country: US
Start Date: May 16, 2023
End Date: May 18, 2023
Sponsors: National Aeronautics and Space Administration
Funding Number(s)
CONTRACT_GRANT: 80ARC020D001
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
FRETRequirementsProgrammable Logic ControllersPLCverif