FM-RAIL-BOK WORKSHOP 2013

TOWARDS A FORMAL METHODS BODY OF KNOWLEDGE FOR RAILWAY CONTROL AND SAFETY SYSTEMS

International Workshop affiliated to the SEFM’2013 11th International Conference on Software Engineering and Formal Methods, Madrid (E), Monday 23 September 2013.

Latest update 15 November 2013: The workshop’s proceedings are now released. (Post-proceedings, to be published in Springer-Verlag’s LNCS, are in preparation…)

Advertisements

9 thoughts on “FM-RAIL-BOK WORKSHOP 2013

  1. I like the helpful info you provide in your articles.

    I’ll bookmark your blog and check again here frequently.
    I am quite sure I’ll learn many new stuff right here!
    Good luck for the next!

  2. Howdy! This post could not be written any better! Reading through this post reminds me of
    my previous room mate! He always kept chatting about this.
    I will forward this post to him. Fairly certain he
    will have a good read. Thanks for sharing!

  3. First off I want to say great blog! I had a quick question which I’d like to
    ask if you don’t mind. I was interested to know how you
    center yourself and clear your thoughts before writing.
    I have had difficulty clearing my mind in getting my thoughts out there.
    I do enjoy writing but it just seems like the first 10 to 15 minutes tend to be wasted just
    trying to figure out how to begin. Any ideas or tips?
    Many thanks!

  4. Great post. I was checking constantly this blog and I’m impressed!
    Very useful information specifically the last part 🙂 I care
    for such information a lot. I was seeking this certain info for a long time.
    Thank you and best of luck.

  5. Hi there to every one, the contents existing at this web page are genuinely remarkable for people experience, well, keep up
    the good work fellows.

  6. Pingback: FM-RAIL-BOK WORKSHOP 2013 | Ragnarok Connection

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s