| Cím | Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2005 |
| Szerzők | Pintér, G., and Majzik, I. |
| Konferencia neve | Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005) |
| Kiadás dátuma | 2005 |
| Kiadó | IEEE Computer Society Press |
| URL | http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2005-hase-automatic-generation-of-executable-assertions-for-runtime-checking-temporal-requirements.pdf |
