Christoph Andriessens

Publication Activity (10 Years)

Years Active: 1995-2016
Publications (10 Years): 1

Top Topics

Mapreduce Framework

Computing Infrastructure

Cloud Computing

Top Venues

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Christoph Andriessens
Supporting the digital transformation of small enterprises through cloud computing. DEC (2016)
Christoph Andriessens, Thomas Lindner
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. Formal Methods for Industrial Applications (1995)