A logic approach to decision taking in a railway interlocking system using Maple
- Roanes-Lozano, E.
- Hernando, A.
- Alonso, J.A.
- Laita, L.M.
ISSN: 0378-4754
Any de publicació: 2011
Volum: 82
Número: 1
Pàgines: 15-28
Tipus: Aportació congrés
ISSN: 0378-4754
Any de publicació: 2011
Volum: 82
Número: 1
Pàgines: 15-28
Tipus: Aportació congrés