No Cover Image

Conference contribution 193 views

Automatically Verifying Railway Interlockings using SAT-based Model Checking / Phillip James

AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems

Swansea University Author: James, Phillip

Published in: AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems
Published: Electronic Communications of the EASST 2011
URI: https://cronfa.swan.ac.uk/Record/cronfa37071
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science