search

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

Presentations missing #19

Closed MerlinPokam closed 11 years ago

MerlinPokam commented 11 years ago

Some Presentations from the Munich meeting are missing!

BerndHekele commented 11 years ago

Please, have a look now. I have added the material I had in my inbox just a minute ago.