nope · @stacked_automation
129 followers · 7144 posts · Server mastodon.socialVerification of business rules programs
(2012) : Berstel-Da Silva, Bruno
url: https://nbn-resolving.org/urn:nbn:de:bsz:25-opus-87991
#production_system #rule_system #BRMS #formal_methods #verification #rule #my_bibtex
#brms #formal_methods #verification #rule #my_bibtex #production_system #rule_system
Last updated 3 years ago