Back to Results
First PageMeta Content
Rail transport / European Rail Traffic Management System / European Train Control System / Theoretical computer science / Railway signalling / Model checking / KeY / First-order logic / Correctness / Transport / Train protection systems / Land transport


Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer|quesel}@informatik.uni-oldenburg.d
Add to Reading List

Document Date: 2014-08-04 10:07:19

Open Document

File Size: 179,24 KB

Share Result on Facebook

Company

MIT Press / /

Country

Germany / /

/

Facility

Jan-David Quesel University of Oldenburg / /

IndustryTerm

genetic regulatory networks / cooperation protocols / parametric hybrid systems / deductive verification tool / travel agents / hybrid systems / wireless communication / verification tool / /

Organization

Transregional Collaborative Research Center / German Research Council / Department of Computing Science / University of Oldenburg / MIT / /

Person

Platzer Quesel / Jan-David Quesel / /

Position

train controller / controller / Radio Block Controller / /

RadioStation

Radio Block Controller / /

Technology

cooperation protocols / /

URL

http /

SocialTag