openHSU logo
Log In(current)
  1. Home
  2. Helmut-Schmidt-University / University of the Federal Armed Forces Hamburg
  3. Publications
  4. 3 - Publication references (without full text)
  5. On validating propositional logic system descriptions for fault diagnosis

On validating propositional logic system descriptions for fault diagnosis

Publication date
2025-12-01
Document type
Forschungsartikel
Author
Diedrich, Alexander  
Moddemann, Lukas  
Niggemann, Oliver  
Organisational unit
Informatik im Maschinenbau  
DTEC.bw  
DOI
10.1016/j.engappai.2025.113379
URI
https://openhsu.ub.hsu-hh.de/handle/10.24405/21711
Publisher
Elsevier
Series or journal
Engineering Applications of Artificial Intelligence
ISSN
0952-1976
Periodical volume
165
Periodical issue
Part A
Article ID
113379
Peer-reviewed
✅
Part of the university bibliography
✅
Additional Information
Language
English
Keyword
dtec.bw
Description
This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
Version
Published version
Access right on openHSU
Metadata only access

  • Privacy policy
  • Send Feedback
  • Imprint