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 | customizations/robotics
Revision as of 14:03, 22 December 2020 by Ansgar.radermacher.cea.fr (Created page with "== Specification of Contracts and Assertions == Support for Contracts and Assertions has been contributed by the integrated technical project [https://robmosys.eu/safecc4robo...")
Specification of Contracts and Assertions
Support for Contracts and Assertions has been contributed by the integrated technical project SafeCC4Robot