No Cover Image

Conference Paper/Proceeding/Abstract 246 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: Phillip, James

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