Глава

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