Automated Verification of Complex Behavioral Models Using the SAL Model Checker
| Cím | Automated Verification of Complex Behavioral Models Using the SAL Model Checker |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2008 |
| Szerzők | Sisak, Á., Pintér, G., and Majzik, I. |
| Szerkesztő | Tarnai, G., and Schnieder, E. |
| Konferencia neve | Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008) |
| Kiadás dátuma | 2008 |
| Kiadó | L'Harmattan Kiadó |
| Konferencia helyszíne | Budapest |
| URL | http://mycite.omikk.bme.hu/doc/39780.pdf |
