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

Slides for GSN wit the tool ACedit #62

Closed janWelte closed 10 years ago

janWelte commented 10 years ago

I've added the slides for GSN with ACedit