Login / Signup

Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.

David HarelHillel KuglerAmir Pnueli
Published in: Formal Methods in Software and Systems Modeling (2005)
Keyphrases