Haitham Bou-Ammar, Mohamad Jaber, Mohamad Nassar. Correctness-by-Learning of Infinite-State Component-Based Systems. In José Proença, Markus Lumpe, editors, Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Volume 10487 of Lecture Notes in Computer Science, pages 162-178, Springer, 2017. [doi]
Abstract is missing.