数学学院信息科学系

学术活动

学术活动

讲座

Interaction by Composition 2018-10-10
Information Sciences Seminar—— COMPOSITIONAL SEMANTICS FOR NEW PARADIGMS: PROBABILISTIC, HYBRID AND BEYOND 2018-09-12
Information Sciences Seminar——Smart Black-box Testing - Combining Model Learning and Model-based Testing 2018-09-10