Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan. Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. Complex Systems Design
HAL Archives-Ouvertes,
Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan. Designing and Integrating Complex Systems: Be Agile…