论文信息 - Model-Based Testing of Reactive Systems, Advanced Lectures - 字舞流文

Model-Based Testing of Reactive Systems, Advanced Lectures

Manfred Broy | Alexander Pretschner | Bengt Jonsson | Joost-Pieter Katoen | Martin Leucker | B. Jonsson | J. Katoen | M. Leucker | M. Broy | A. Pretschner