Bob

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

DOI: 10.1007/978-3-642-14261-1_11

Iqtiboslar va manbalar

4 ta iqtibos0 ta foydalanilgan manba

Koʻrsatkichlar — AkademScholar