Conference Paper/Proceeding/Abstract 1395 views
SAT-based model checking of train control systems
Markus Roggenbach 
Pages: 15 - 17
Swansea University Author:
Markus Roggenbach
Abstract
SAT-based model checking of train control systems
| Published: |
University of Udine
2009
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa39 |
| Item Description: |
In CALCO Young Researchers Workshop, CALCO-jnr 2009, Udine, Italy |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
15 |
| End Page: |
17 |