No Cover Image

Other 453 views

SAT-based Model Checking and its applications to Train Control Software

Phillip James Orcid Logo

Swansea University Author: Phillip James Orcid Logo

Published: Swansea University 2010
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering