Patterns for Modelling Time and Consistency in Business Information Systems (2010)

Author(s): Bryans JW, Fitzgerald JS, Romanovsky A, Roth A

      • Date: 22-26 March 2010
      • Conference Name: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
      • Pages: 105-114
      • Publisher: IEEE
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Keywords: Real-time, Patterns, Formal Verification, Event-B, Error Recovery


      Professor John Fitzgerald
      Director of the Centre for Software Reliability

      Professor Alexander Romanovsky
      Prof of Computing Science