Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » UML activity diagrams and NuSMV(UML activity diagrams and NuSMV)
UML activity diagrams and NuSMV [message #522642] Tue, 23 March 2010 13:34
Yves LaCerte is currently offline Yves LaCerteFriend
Messages: 3
Registered: March 2010
Junior Member
Do you know of anyone working a transformation from UML 2 activity diagrams to the NuSMV model checker?

If not, any recommendations on how to get started.

Best regards,

Previous Topic:[ATL] Calling Java from ATL possible?
Next Topic:urgent
Goto Forum:

Current Time: Fri Oct 18 08:28:19 GMT 2019

Powered by FUDForum. Page generated in 0.02497 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top