Title of article :
Safety checking in an automatic train operation system
Author/Authors :
G. K. Palshikar، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2001
Keywords :
railway systems , Z , Real-time safety-critical systems , Lightweight formal methods , Data validation , Fault tolerance
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
