Sciweavers

FMCAD
2006
Springer

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

15 years 18 days ago
Model Checking Data-Dependent Real-Time Properties of the European Train Control System
Johannes Faber, Roland Meyer
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FMCAD
Authors Johannes Faber, Roland Meyer
Comments (0)