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 AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent