Karim Kanso's Home Page
I am a research student at Swansea University.
Picture
Research Interests
-
Domain analysis of Interlockings (w.r.t. railway interlockings)
-
Domain Specific Language of Railway Interlockings
-
Formal verification of critical control systems using a data driven loop
Publications
-
Automated Verification of Critical Systems (AVoCS) 2008
Contact
Room 403 - (forth floor, Faraday Tower)
E-Mail - cskarim at swan dot ac dot uk