Automatic Generation of Functional Mock-Up Units from Formal Specifications.

Maurizio Palmieri, Hugo Daniel Macedo

Browse the full SEFM paper archive.