Sensor and control result
Author:
Publisher:
Year
: 2014DOI: 10.1109/SBCARS.2014.12
Keyword(s): contracts,formal verification,probability,service-oriented architecture,architectural adaptations,architectural requirements,configuration planing,dynamic reconfiguration strategy,formal verification,functional requirements,probabilistic method,qualitative analysis,quantitative analysis,run time analysis,self-adaptation strategy,self-adaptive software systems,service level agreements,service-based architectures,Adaptation models,Analytical models,Connectors,Context,Monitori
Collections
:
-
Statistics
Sensor and control result
Show full item record
| contributor author | Vdolecek, F. | |
| date accessioned | 2020-03-12T19:58:30Z | |
| date available | 2020-03-12T19:58:30Z | |
| date issued | 2014 | |
| identifier other | 6843686.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/997193?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Sensor and control result | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8117097 | |
| subject keywords | contracts | |
| subject keywords | formal verification | |
| subject keywords | probability | |
| subject keywords | service-oriented architecture | |
| subject keywords | architectural adaptations | |
| subject keywords | architectural requirements | |
| subject keywords | configuration planing | |
| subject keywords | dynamic reconfiguration strategy | |
| subject keywords | formal verification | |
| subject keywords | functional requirements | |
| subject keywords | probabilistic method | |
| subject keywords | qualitative analysis | |
| subject keywords | quantitative analysis | |
| subject keywords | run time analysis | |
| subject keywords | self-adaptation strategy | |
| subject keywords | self-adaptive software systems | |
| subject keywords | service level agreements | |
| subject keywords | service-based architectures | |
| subject keywords | Adaptation models | |
| subject keywords | Analytical models | |
| subject keywords | Connectors | |
| subject keywords | Context | |
| subject keywords | Monitori | |
| identifier doi | 10.1109/SBCARS.2014.12 | |
| journal title | ontrol Conference (ICCC), 2014 15th International Carpathian | |
| filesize | 711394 | |
| citations | 0 |