Using coordinated atomic actions to design safety-critical systems: a production cell case study (1999)

Cached

Download Links

by A. F. Zorzo , A. Romanovsky , J. Xu , B. Randell , R. J. Stroud , I. S. Welch
Venue:SOFTWARE – PRACTICE AND EXPERIENCE
Citations:10 - 6 self