Testing a system specified using Statecharts and Z.
| Autor: | Hierons, R.M., Sadeghipour, S., R.M. Hierons, S. Sadeghipour |
|---|---|
| Zdroj: | Information & Software Technology. 02/01/2001, Vol. 43 Issue 2, p137. 13p. 4 Diagrams, 4 Charts. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
Full Text from ScienceDirect