Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
| Cím | Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker |
| Közlemény típusa | Journal Article |
| Kiadás éve | 1999 |
| Szerzők | Latella, D., Majzik, I., and Massink, M. |
| Folyóirat | FORMAL ASPECTS OF COMPUTING |
| Kötet | 11 |
| Kiadás | 6 |
| Pagination | 637 - 664 |
| Kiadás dátuma | 1999 |
| ISBN-szám | 0934-5043 |
| URL | http://mycite.omikk.bme.hu/doc/16328.pdf |
