BroyManfred

A formal model of services

BroyManfred, H KrügerIngolf, MeisingerMichael, 2007 .

The 'Grand Challenge' in Informatics

BroyManfred, 2006 .

UML formal semantics

BroyManfred, CengarleMaría Victoria, 2011 .

Challenges in Engineering Cyber-Physical Systems

SchmidtAlbrecht, BroyManfred, 2014 .