Other 744 views
SAT-based Model Checking and its applications to Train Control Software
Phillip James 
Swansea University Author:
Phillip James
Abstract
SAT-based Model Checking and its applications to Train Control Software
| Published: |
Swansea University
2010
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa37069 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|