Automated inconsistency detection and solution proposals in cyber-physical system networks : A Solution Concept for Interaction-Based Behavioral Specifications
| Autor: | Buchner, Johanna, Daun, Marian |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: | |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|