Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Papyrus IC/Research Academia/Projects
< Papyrus IC | Research Academia
Revision as of 17:14, 15 January 2017 by Dkolovos@cs.york.ac.uk (Talk)
This page is intended to collect information and links to ongoing as well as past projects related to Papyrus.
- INtegrated European Signalling System (INESS) EC FP7 Project: In INESS, Papyrus was used to model and verify railway signalling systems.