SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems
| Autor: | Ibrahim, Hassan, Dague, Philippe, Simon, Laurent |
|---|---|
| Přispěvatelé: | Dague, Philippe, Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]
[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ComputingMilieux_MISCELLANEOUS [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
| Zdroj: | Proceedings of the 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy |
| Popis: | International audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|