BUTEdownload RIS dataset for institute's DOIs
Budapest, Hungary

DOI Title
10.18429/JACoW-ICALEPCS2019-MOBPP01 PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs
10.18429/JACoW-ICALEPCS2019-WEPHA018 Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced