I just read in a paper the following about Maven (FSMC+, a Tool for the Generation of Java Code from Statecharts): FSMC+ is integrated in Maven [1], a freely available build tool. The FSMC+ backend, thus can either be invoked from the command line or integrated in the build process by using some maven plugins we specifically developed.
I couldn't find anything about nusmv, statecharts or fsmc on the website, so I just wanted to ask, if it is really available and if yes, how to start it. Thank you very much in advance! Best regards, Elisabeth --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
