Introduction of formal methods into railway signalling

Author	Sághi, Balázs
Author	Tarnai, Géza
Date Accessioned	2016-09-04T21:31:45Z
Date Available	2016-09-04T21:31:45Z
Date Issued	2003
URI	http://hdl.handle.net/10890/3296
dc.language.iso	en
Title	Introduction of formal methods into railway signalling
Type	egyéb konferenciaközlemény
Title	ZEL2003 10th International Symposium
Other Identifier: MTMT	2639018
local.other.containerMtmt	2639017
Gender	konferenciaközlemény

Files

Now showing 1 - 1 of 1