Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B.

Conference proceeding

F Moller, HN Nguyen, M Roggenbach, S Schneider and H Treharne

Haifa Verification Conference, Vol.7857, pp.193-208

2012

Abstract

url

http://dx.doi.org/10.1007/978-3-642-39611-3View

Title: Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B.
Creators: F Moller
HN Nguyen
M Roggenbach
S Schneider
H Treharne
Contributors: A Biere
A Nahir
TEJ Vos
Springer (Publisher)
Publication Details: Haifa Verification Conference, Vol.7857, pp.193-208
Date published: 2012
Date submitted: 17/05/2017
Identifiers: 99516136702346
Academic Unit: University of Surrey
Resource Type: Conference proceeding