Proving Model Equivalence in Model Based Design.

Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi

Browse the full ISSRE paper archive.