Expanding Database Systems into self-verifying Entities

Kåre J. Kristoffersen, Yvonne Dittrich. Expanding Database Systems into self-verifying Entities. In Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with . pages 65-70, INSTICC Press, 2005.

Abstract

Abstract is missing.