Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Zsófia Ádám
(Budapest University of Technology and Economics Budapest, Pest, Hungary) Ignacio D Lopez-Miguel
(TU Wien Vienna, Austria) Anastasia Mavridou (KBR (United States) Houston, Texas, United States) Thomas Pressburger (Ames Research Center Mountain View, California, United States) Marcin Bęś (European Organization for Nuclear Research Geneva, Switzerland) Enrique Blanco Viñuela
(European Organization for Nuclear Research Geneva, Switzerland) Andreas Katis
(KBR (United States) Houston, Texas, United States) Jean-Charles Tournier (European Organization for Nuclear Research Geneva, Switzerland) Khanh V Trinh (KBR (United States) Houston, Texas, United States) Borja Fernández Adiego (European Organization for Nuclear Research Geneva, Switzerland) Date Acquired
January 3, 2023
Publication Date
May 17, 2023
Subject Category
Computer Programming and Software Meeting Information
Meeting: NASA Formal Methods (NFM)
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