Analysis capabilities for requirements specified in statecharts.
| Autor: | Melhart, B. E., Leveson, N. G., Jaffe, M. S. |
|---|---|
| Zdroj: | International Workshop on Software Specifications & Design; Apr1989, p100-103, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|