Chargement en cours…
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.
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Amsterdam ; Washington, DC : Tokyo :
IOS ; Ohmsha,
2003.
|
| Collection: | Frontiers in artificial intelligence and applications ;
v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Sujets: | |
| Accès en ligne: | Texto completo |