Constraint solving over multi-valued logics application to digital circuits
Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults.
| Autor principal: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC : Tokyo :
IOS ; Ohmsha
2003.
|
| Colección: | EBSCO Academic eBook Collection Complete.
Frontiers in artificial intelligence and applications ; v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b38539469*spi |
| Sumario: | Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults. |
|---|---|
| Descripción Física: | xviii, 204 p. : il |
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas (p. 145-153). |
| ISBN: | 9780585458601 9781586033040 9784274905551 9781601294128 |
