Automated Generation of Formal Models from ST Control Programs for Verification Purposes
| Cím | Automated Generation of Formal Models from ST Control Programs for Verification Purposes |
| Közlemény típusa | Report |
| Kiadás éve | 2014 |
| Szerzők | 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 |
| Intézmény | CERN |
| Típus | Internal Note |
| URL | http://cds.cern.ch/record/1708853/files/Internal%20Note.pdf |
| Refereed Designation | Non-Refereed |
