Боб

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

Аннотация

Аннотация мавжуд эмас.

Идентификаторлар

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

Иқтибослар ва манбалар

4 та иқтибос0 та фойдаланилган манба

Кўрсаткичлар — AkademScholar