Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems

deep search

collection's Playback

Metadata

Metadata languages

Title Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems

Subject Interlocking Railway Systems

Description Todays secure railway transportation management systems are employing more intelligent, highly computerized technology but are still strictly dependent on the site-specific configuration of track layout, which follows different rules for different nations. An expert system model, which independently formalizes a railway network, focusing on railway terminals (stations) and including topological and functional aspects of track elements, enables verification and validation

Description P. Bellini, P. Nesi, I. Zaza, "A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems", ERCIM News, N.103, pp.35-37, October 2015. Http://www.ercim.eu

Technical

Classification

IPR information

Location

Actions

Average:

Your rating: None

Submitted by root on Sat, 2016-09-10 22:57

Search Filter

Content

Organize Personal Collection

Select resources to add to collections

Do you really want to start
from scratch?

Classification

Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1714189481 WHERE sid = 'd194b4af33cc26419910aa8661bc5e4d' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

New Menu

Related objects by text

Comments

collection's Playback

Metadata

Actions

Search Filter

Content

Organize Personal Collection

Classification