Publication:

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

Author(s): Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud RJ, Welch IS

      • Journal: Software - Practice and Experience
      • Volume: 29
      • Issue: 8
      • Pages: 677-697
      • Publisher: Wiley-Blackwell
      • Publication type: Article
      • Bibliographic status: Published