No Cover Image

Conference Paper/Proceeding/Abstract 483 views

Verifying train control software - An exercise in SAT-based model checking / Markus, Roggenbach; Phillip, James

11th JSSST Workshop on Programming and Programming Languages (PPL2009), Start page: 1

Swansesa University Authors: Markus, Roggenbach, Phillip, James

Published in: 11th JSSST Workshop on Programming and Programming Languages (PPL2009)
Published: Japan Japan Society for Software Science and Technology 2009
Online Access: http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/sites/default/files/uploads/papers/james09a.txt
URI: https://cronfa.swan.ac.uk/Record/cronfa196
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 1