Automated Generation of Formal Models from ST Control Programs for Verification Purposes
| Title | Automated Generation of Formal Models from ST Control Programs for Verification Purposes |
| Publication Type | Report |
| Year of Publication | 2014 |
| Authors | Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., Blech, J O., and González Suárez, V. M. |
| Document Number | CERN-ACC-NOTE-2014-0037 |
| Institution | CERN |
| Type | Internal Note |
| URL | http://cds.cern.ch/record/1708853/files/Internal%20Note.pdf |
| Refereed Designation | Non-Refereed |
