#544 Event-based synthesis should allow specifications without requirements. (!519) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Martijn Goorden requested to merge mgoorden7u4/escet:544-event-based-synthesis-should-allow-specifications-without-requirements into develop Mar 03, 2023

Closes #544 (closed).

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent