Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies.
| Autor: | Dohndorf, O., Kruger, J., Krumm, H., Fiehe, C., Litvina, A., Luck, I., Stewing, F. |
|---|---|
| Zdroj: | 2011 IEEE International Symposium on Policies for Distributed Systems & Networks (POLICY); 2011, p97-104, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|