The consolidation of a body of knowledge (BOK) in the domain of formal methods for railway systems safety, as envisaged by our workshop, would not be possible if there had not been done much research work already in this field since many years. The following list of books, which is not at all exhaustive, documents some examples of such related work, and it is presumed that most participants of our workshop will be familiar with some of these titles (or similar work):


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s