Model Checking Interlocking Control Tables
Alessio FerrariGeneral Electric Transportation Systems (GETS), Florence, ItalyGianluca MagnaniUniversity of Florence (DSI), Florence, ItalyDaniele GrassoUniversity of Florence (DSI), Florence, ItalyAlessandro FantechiUniversity of Florence (DSI), Florence, Italy
2011en
ABI
Annotatsiya
Annotatsiya mavjud emas.
Identifikatorlar
Iqtiboslar va manbalar
4 ta iqtibos0 ta foydalanilgan manba