Heikki Välisuo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

1 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)

	1993
1		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)

Coauthor Index