Execution and Verification of UML State Machines with Erlang.

Ricardo J. Rodrguez, Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario

Browse the full SEFM paper archive.