Formal Methods Europe

Homepage of FME

Mondex Case Study of University of Karlsruhe

By Bernhard Aichernig • Sep 23rd, 2008 • Category: Sponsored by FME

See the results of the Mondex verification case study of University of Karlsruhe sponsored by an FME small projectTechnical Report. The work has been published at SEFM 2007.

Comments are closed.