TTransformation parallel ablaufender ProgrammeTransformation parallel ablaufender Programmede M. BroyEdiciones (1)Transformation parallel ablaufender Programme (1980)alemánMás obras de M. BroySSoftware and systems safetySoftware and systems safetyModel-based testing of reactive systemsPerspectives of system informatics