Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs

David Harel, Itai Segall

Browse the full TACAS paper archive.