![](/img/cover-not-exists.png)
Specifying and executing behavioral requirements: the play-in/play-out approach
David Harel, Rami MarellyVolume:
2
Language:
english
Pages:
26
DOI:
10.1007/s10270-002-0015-5
Date:
July, 2003
File:
PDF, 1.65 MB
english, 2003