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
Datum der Publikation: 2011
Ausgabe: 82
Nummer: 1
Seiten: 15-28
Art: Konferenz-Beitrag
ISSN: 0378-4754
Datum der Publikation: 2011
Ausgabe: 82
Nummer: 1
Seiten: 15-28
Art: Konferenz-Beitrag