| Line 24: | Line 24: | ||
* [http://www.macs.hw.ac.uk/~mtl4/Publications.html HRemo (see PhD thesis)] | * [http://www.macs.hw.ac.uk/~mtl4/Publications.html HRemo (see PhD thesis)] | ||
* [https://sites.google.com/site/millepet/publications Message Choreography Model Animation and Test Case Generation (see PhD thesis; Chapters 5 and 6)] | * [https://sites.google.com/site/millepet/publications Message Choreography Model Animation and Test Case Generation (see PhD thesis; Chapters 5 and 6)] | ||
* [http://b4msecure.forge.imag.fr B4MSecure] | |||
== Tools == | == Tools == | ||