Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.
| Autor: | Lambolais, Thomas, Courbis, Anne-Lise, Luong, Hong-Viet, Phan, Thanh-Liem |
|---|---|
| Zdroj: | Complex Systems Design & Management: Proceedings of the Sixth International Conference on Complex Systems Design & Management, CSD&M 2015; 2016, p69-81, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|