Constraint solving over multi-valued logics - application to digital circuits
Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is exte...
| Autor principal: | |
|---|---|
| Formato: | doctoralThesis |
| Idioma: | eng |
| Publicado em: |
2008
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10362/1060 |
| País: | Portugal |
| Oai: | oai:run.unl.pt:10362/1060 |