Hernando Antonio

Antonio Hernando

Information about the author Antonio Hernando will soon be added to the site.
Found 1 papers in total
A logic approach to decision taking in a railway interlocking system using Maple
A logic approach to decision taking in a railway interlocking system using Maple
2011
Railway interlocking systems are apparatuses that prevent conflicting movements of...
Papers per page: