Line 27: | Line 27: | ||
* [http://users.ecs.soton.ac.uk/vs2/ac.soton.multisim.updatesite/ MultiSimulation Plug-In for Rodin] | * [http://users.ecs.soton.ac.uk/vs2/ac.soton.multisim.updatesite/ MultiSimulation Plug-In for Rodin] | ||
* [http://www.beta-tool.info/user_guide.html Beta] | * [http://www.beta-tool.info/user_guide.html Beta] | ||
* [ | * [https://www.ros.hw.ac.uk/handle/10399/2685 HRemo (see chapter 4 of PhD thesis)] | ||
* [http://dx.doi.org/10.14279/depositonce-2502 Message Choreography Model Animation and Test Case Generation (see PhD thesis; Chapters 5 and 6)] [http://link.springer.com/article/10.1007%2Fs10270-012-0272-x SSM article (2014)] | * [http://dx.doi.org/10.14279/depositonce-2502 Message Choreography Model Animation and Test Case Generation (see PhD thesis; Chapters 5 and 6)] [http://link.springer.com/article/10.1007%2Fs10270-012-0272-x SSM article (2014)] | ||
* [http://b4msecure.forge.imag.fr B4MSecure] | * [http://b4msecure.forge.imag.fr B4MSecure] |