Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sandro Bologna, Terje Sivertsen, Heikki Välisuo. Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control. International Journal of Software Engineering and Knowledge Engineering, 3(1):53-98, 1993. [doi]

This author has not been identified. Look up 'Sandro Bologna' in GoogleThis author has not been identified. Look up 'Terje Sivertsen' in GoogleThis author has not been identified. Look up 'Heikki Välisuo' in Google

runs on WebDSL