Using KIV to specify and verify architectures of knowledge-based systems
In: Proceedings 12th IEEE International Conference Automated Software Engineering; (1997) S. 71-80
Konferenz
Zugriff:
Titel: |
Using KIV to specify and verify architectures of knowledge-based systems
|
---|---|
Autor/in / Beteiligte Person: | Fensel, D. ; Schnogge, A. |
Quelle: | Proceedings 12th IEEE International Conference Automated Software Engineering; (1997) S. 71-80 |
Veröffentlichung: | 1997 |
Medientyp: | Konferenz |
ISBN: | 0-8186-7961-1 (print) ; 978-0-8186-7961-2 (print) |
DOI: | 10.1109/ASE.1997.632826 |
Sonstiges: |
|