Amir Kantor

Suggest Changes
  • Citations Per Year
Learn More
Scenario-based modeling in live sequence charts (LSC) involves specifying multi-modal inter-object scenarios, in which events can be mandatory (hot) or possible (cold). In translating LSCs into(More)