Giese, Holger profile picture

Giese, Holger

Is this your author profile? Create an account to customize it!

Stand Alone

Automatic verification of behavior preservation at the transformation level for relational model transformation
On the operationalization of graph queries with generalized discrimination networks
Development of AUTOSAR standard documents at Carmeq GmbH a case study