Subject: SDL-News: Re:
From: Nicu Goga (goga#win.tue.nl)
Date: Tue Jul 29 2003 - 12:54:31 GMT
Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From Nicu Goga <goga#win.tue.nl> to sdlnews -----
I am looking for a tool (online, free for use) which transforms a set
of MSCs in a specification (for example in SDL, automata, Promela,
etc.). Please help me if you know such a tool.
--End text from Nicu Goga <goga#win.tue.nl> to sdlnews ---
For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>
This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT