Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
Chapter

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

Abstract

No abstract available.

Identifiers

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

Citations and references

Cited by 40 references
Metrics — AkademScholar