Add additional CIF to Uppaal pretransformations.
Cif2uppaal pre-transformations should be added for converting enums and eliminating algebraic variables.
Cif2uppaal pre-transformations should be added for converting enums and eliminating algebraic variables.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent