Combining MILS with Contract-Based Design for Safety and Security Requirements.
| Autor: | Cimatti, Alessandro, DeLong, Rance, Marcantonio, Davide, Tonetta, Stefano |
|---|---|
| Zdroj: | Algorithmic Game Theory: 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015, Proceedings; 2015, p264-276, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|