Visit us in Braunschweig at Forms/Format

We are happy to announce that we will be present at the conference FORMS/FORMAT in Braunschweig, both with a paper (and presentation) and a tool exhibition. The paper is entitled “A Systems Engineering Tool Chain Based on Eclipse and Rodin”.

We’d be delighted to see you there.


Would you like to get regular updates from us, regarding relevant information about the industrial use of requirements and formal methods?  Then we invite you to subsribe to our newsletter.