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]
No references recorded for this publication.
No citations of this publication recorded.