Sciweavers

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

28

FMCAD
2006
Springer

favoriteEmaildiscussreport

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

14 years 2 months ago

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

Real-time Traffic

FMCAD 2006 | Formal Methods |

claim paper

Related Content

» The XBW Model for Dependable RealTime Systems

» Validation Support for Distributed RealTime Embedded Systems in VDM

» Exploring ModelBased Development for the Verification of RealTime Java Code

» Verification of a SafetyCritical Railway Interlocking System with RealTime Constraints

» Model checking Duration Calculus a practical approach

» Automatic Verification of Parametric Specifications with Complex Topologies

» Verification of Multiagent Systems via Unbounded Model Checking

» OpenComRTOS An UltraSmall Network Centric Embedded RTOS Designed Using Formal Modeling

» Differential Dynamic Logic for Hybrid Systems

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FMCAD
Authors	Johannes Faber, Roland Meyer

Comments (0)