Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marius Brezovan, Costin Badica. Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining. In Costin Badica, Yannis Manolopoulos, Mirel Cosulschi, George Eleftherakis, Florin Leon, editors, Proceedings of the 7th Balkan Conference on Informatics Conference, BCI '15, Craiova, Romania, September 2-4, 2015. pages 7, ACM, 2015. [doi]

This author has not been identified. Look up 'Marius Brezovan' in GoogleThis author has not been identified. Look up 'Costin Badica' in Google

runs on WebDSL