Thomas Lambolais, Anne-lise Courbis, Hong-Viet Luong, Thanh-Liem Phan. Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. In Gérard Auvray, Jean-Claude Bocquet, Eric Bonjour, Daniel Krob, editors, Complex Systems Design & Management, Proceedings of the Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris, France, November 23-25, 2015. pages 69-81, Springer, 2015. [doi]
Abstract is missing.