![](/img/cover-not-exists.png)
Analysis capabilities for requirements specified in statecharts
Melhart, B. E., Leveson, N. G., Jaffe, M. S.Volume:
14
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/75200.75215
Date:
May, 1989
File:
PDF, 354 KB
english, 1989