Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study

Autor: Zorzo, A. F., Romanovsky, A., Xu, J., Randell, B., Stroud, R. J., Welch, I. S.
Zdroj: Software: Practice & Experience; Jul99, Vol. 29 Issue 8, p677, 22p
Databáze: Complementary Index
Externí odkaz: