Erik Hollnagel. The Formalization Of Knowledge-Based Systems Validation And Verification: Promises And Pitfalls. In Friedrich H. Vogt, editor, Personal Computers and Intelligent Systems - Information Processing 92, Volume 3, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. Volume A-14 of IFIP Transactions, pages 220-230, North-Holland, 1992.
@inproceedings{Hollnagel92,
title = {The Formalization Of Knowledge-Based Systems Validation And Verification: Promises And Pitfalls},
author = {Erik Hollnagel},
year = {1992},
tags = {rule-based},
researchr = {https://researchr.org/publication/Hollnagel92},
cites = {0},
citedby = {0},
pages = {220-230},
booktitle = {Personal Computers and Intelligent Systems - Information Processing 92, Volume 3, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992},
editor = {Friedrich H. Vogt},
volume = {A-14},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89749-6},
}