Verification of Automatic Train Protection Systems with RTCP-Nets.

Marcin Szpyrka Tomasz Szmuc

Published in: SAFECOMP (2006)

Keyphrases

fully automatic
management system
semi automatic
data sets
distributed systems
building blocks
database
computer vision
data driven
computer systems
complex systems
information security