Synthesis and Traceability of Scenario-Based Executable Models.

Ankit Goel, Abhik Roychoudhury

Browse the full ISoLA paper archive.