Formal modeling and verification of self-* systems based on observer/controller-architectures
Autor: | Nafz, Florian, Steghöfer, Jan-Philipp, Seebach, Hella, Reif, Wolfgang |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2013 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Nafz, Florian, Steghöfer, Jan-Philipp, Seebach, Hella, Reif, Wolfgang |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2013 |
Databáze: | OpenAIRE |
Externí odkaz: |