Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

119

Voted

SAFECOMP
2004
Springer

242views Security Privacy» more SAFECOMP 2004»

A Hybrid Testing Methodology for Railway Control Systems

15 years 8 months ago

A Hybrid Testing Methodology for Railway Control Systems

Download www.math.unipd.it

Giuseppe De Nicola, Pasquale di Tommaso, Rosaria E

Real-time Traffic

SAFECOMP 2004 |

claim paper

Related Content

» Simulated Time for Testing Railway Interlockings with TTCN3

» Hybrid Dynamic Programming

» Modeling and Supervisory Control of Railway Networks Using Petri Nets

» Verification of a SafetyCritical Railway Interlocking System with RealTime Constraints

» PrimalDual Tests for Safety and Reachability

» On the Optimal Control of SwitchMode DCDC Converters

» A hybrid softwarebased selftesting methodology for embedded processor

» FPGA based tester tool for hybrid realtime systems

» Modelling Control Systems in an EventDriven Coordination Language

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	SAFECOMP
Authors	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo

Comments (0)