| |
| 1993 | ||
|---|---|---|
| 1 | EE | 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) |
| 1 | Sandro Bologna | [1] |
| 2 | Terje Sivertsen | [1] |