FORMAL SOFTWARE INSPECTIONS: AN INDUSTRIAL APPLICATION OF FUNCTION TABLES AND EVENT-B TO SOFTWARE OF A WAYSIDE TRAIN MONITORING SYSTEM
2003 ◽
Vol 2003
(0)
◽
pp. 350
2013 ◽
Vol 756-759
◽
pp. 218-222
2013 ◽
Vol 60
(12)
◽
pp. 5892-5901
◽
International Journal of Advanced Research in Electrical Electronics and Instrumentation Engineering
◽
2015 ◽
Vol 04
(05)
◽
pp. 3989-3992
2020 ◽
Keyword(s):