![](/img/cover-not-exists.png)
[ACM Press the International Workshop - Singapore, Singapore (2016.09.04-2016.09.04)] Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016 - Domain-independent method of detecting inconsistencies in SBVR-based business rules
Chittimalli, Pavan Kumar, Anand, KritikaYear:
2016
Language:
english
DOI:
10.1145/2975941.2975943
File:
PDF, 342 KB
english, 2016