Verification and validation of temporal business rules
Document typeConference report
Defense date1992
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
This work is protected by the corresponding intellectual and industrial property rights.
Except where otherwise noted, its contents are licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 4.0 International
Abstract
CitationTheodoulidis, B.; Alexakis, P.; Loucopoulos, P. Verification and validation of temporal business rules. A: "Proceedings of the 3rd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992, p. 1-15.
| Files | Description | Size | Format | View |
|---|---|---|---|---|
| 3DAISD_01_Verif ... validation of temporal.pdf | 988,3Kb | View/Open |