Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

著者: David Harel, Hillel Kugler, Amir Pnueli - Lecture notes in computer science 2005 被引用: 128