No Cover Image

Conference Paper/Proceeding/Abstract 1030 views

SAT-based model checking of train control systems

Markus Roggenbach Orcid Logo

Pages: 15 - 17

Swansea University Author: Markus Roggenbach Orcid Logo

Published: University of Udine 2009
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In CALCO Young Researchers Workshop, CALCO-jnr 2009, Udine, Italy
College: Faculty of Science and Engineering
Start Page: 15
End Page: 17