Vol-1724⫷ Vol-1725 ⫸Vol-1726
urn:nbn:de:0074-1725-0


Vol-1725/demo2⫷Vol-1725/demo3⫸Vol-1725/demo4
Joel GreenyerDaniel GritznerGuy KatzAssaf Marron

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools