Well, it's always a good thing to press F7 to update the error messages ;) As far...
You are also missing some semicolons (';') under system declarations.
I'm pretty sure this is not a UPPAAL PARMOS issue. UPPAAL PARMOS utilizes UPPAAL...
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.