Editor(s):
|
Broy, M.; Jonsson, B.; Katoen, J.P.; Leucker, M.; Pretschner, A.
|
Subject:
|
Informatics for Technical Applications |
Organization:
|
Informatics for Technical Applications |
Book title:
|
Broy, M.; Jonsson, B.; Katoen, J.P. (ed.), Model-based Testing of Reactive Systems: Advanced Lectures |