Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
| Permalink: | http://skupnikatalog.nsk.hr/Record/nsk.NSK01000727517/Details |
|---|---|
| Matična publikacija: |
International journal for engineering modelling 21 (2008), 1/4 ; str. 57-63 |
| Glavni autor: | Mirabadi, Ahmad (-) |
| Ostali autori: | Yazdi, Mohammad Bemani (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: |
| LEADER | 01035caa a2200301 ir4500 | ||
|---|---|---|---|
| 001 | NSK01000727517 | ||
| 003 | HR-ZaNSK | ||
| 005 | 20110524113735.0 | ||
| 007 | ta | ||
| 008 | 100215s2008 ci ||| ||eng | ||
| 035 | |9 (HR-ZaNSK)730121 | ||
| 035 | |a (HR-ZaNSK)000727517 | ||
| 040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
| 041 | 0 | |a eng |b hrv | |
| 042 | |a croatica | ||
| 080 | |a 656 |2 MRF 1998. | ||
| 080 | |a 004 |2 MRF 1998. | ||
| 100 | 1 | |a Mirabadi, Ahmad | |
| 245 | 1 | 0 | |a Automatic generation and verification of railway interlocking control tables using FSM and NuSMV / |c Ahmad Mirabadi and Mohammad Bemani Yazdi. |
| 300 | |b Ilustr. | ||
| 504 | |a Bibliografija: 7 jed | ||
| 504 | |a Sažetak | ||
| 653 | |a Željeznički kolosijek |a Sigurnosni uređaji | ||
| 653 | |a Željeznički promet |a Informatičke tehnologije | ||
| 700 | 1 | |a Yazdi, Mohammad Bemani | |
| 773 | 0 | |t International journal for engineering modelling |x 1330-1365 |g 21 (2008), 1/4 ; str. 57-63 |w nsk.(HR-ZaNSK)000012407 | |
| 981 | |b B18/08 |p CRO | ||
| 998 | |a luko100215 |c rpeo110524 | ||