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


      Dr Jeremy Bryans
      Senior Research Associate

      Professor John Fitzgerald
      Director of Research in Computing Science, Director of the Centre for Software Reliability

      Professor Alexander Romanovsky
      Prof of Computing Science