Add inclusion mechanism in temporal-logic specification language
To prevent all kinds of duplication we need an inclusion mechanism so that specification files can include other specification files with, e.g., common definitions.
To prevent all kinds of duplication we need an inclusion mechanism so that specification files can include other specification files with, e.g., common definitions.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent