A logic approach to decision taking in a railway interlocking system using Maple

  1. Roanes-Lozano, E.
  2. Hernando, A.
  3. Alonso, J.A.
  4. Laita, L.M.
Aldizkaria:
Mathematics and Computers in Simulation

ISSN: 0378-4754

Argitalpen urtea: 2011

Alea: 82

Zenbakia: 1

Orrialdeak: 15-28

Mota: Biltzar ekarpena

DOI: 10.1016/J.MATCOM.2010.05.024 GOOGLE SCHOLAR
Datuen iturria: Scopus