Formal model for SDL specifications based on Timed Rewriting Logic (2000)

Author(s): Steggles LJ, Kosiuczenko P

      • Journal: Automated Software Engineering
      • Volume: 7
      • Issue: 1
      • Pages: 61-90
      • Publisher: Springer
      • Publication type: Article
      • Bibliographic status: Published
      Staff

      Dr Jason Steggles
      Senior Lecturer