Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
| Permalink: | http://skupnikatalog.nsk.hr/Record/nsk.NSK01000727517 |
|---|---|
| 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: |
Održavanje sustava u tijeku
Sustav je trenutačno nedostupan zbog održavanja.
Zapisi o posjedovanju i primjercima trenutačno nisu dostupni. Za više informacija kontaktirajte osoblje knjižnice ili pošaljite upit administratoru: