NASA Ames Research Center, USA

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
NASA Ames Research Center, USA
 

OrgUnit's Publications


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ádám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverifInproceedings Konferenzbeitrag 3-Jun-2023
2Adam-2023-Automated Verification of Programmable Logic Controller Program...-vor.pdf.jpgÁdám, Zsófia ; Lopez Miguel, Ignacio David ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language RequirementsReport Bericht Mar-2023