Name Card

Full name Familienname, Vorname
Katis, Andreas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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