Application of formal description techniques to the specification of distributed test systems.
| Autor: | Linn, R.J., Favreau, J.-P. |
|---|---|
| Zdroj: | IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer & Communcations Societies Networks: Evolution or Revolution?; 1988, p96-109, 14p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|