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 |