Fachbereich LogiCS

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E056-13 - Fachbereich LogiCS
 
Code Kennzahl
E056-13
 
Type of Organization Organisationstyp
Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


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

PreviewAuthor(s)TitleTypeIssue Date
1Lopez-Miguel-2023-Introduction to the verification of neural networks run...-vor.pdf.jpgLopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Vinuela, Enrique Introduction to the verification of neural networks running on a PLC: an LHC cooling tower examplePresentation Vortrag 20-Apr-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
3Varonka, Anton ; Kovacs, Laura On the Undecidability of Loop AnalysisPresentation Vortrag12-Oct-2022