An Initial Wise Development Environment for Behavioral Models.

David Harel, Guy Katz, Rami Marelly, Assaf Marron

Browse the full MODELSWARD paper archive.