Konferenzartikel zum FormbaR Projekt wurde bei der ISoLA 2016 angenommen

Das Paper “Towards Incremental Validation of Railway Systems” von Reiner Hähnle und Radu Muschevici wurde bei der Konferenz 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) angenommen. Die Präsentation der Arbeit findet im Oktober auf der Konferenz in Korfu (Griechenland) statt.