Christoph Andriessens

According to our database¹, Christoph Andriessens authored at least 3 papers between 1995 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Supporting the digital transformation of small enterprises through cloud computing.

[BibT_eX]

[DOI]

Proceedings of the Digital Enterprise Computing (DEC 2016), 2016

2007

Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung.

[BibT_eX]

[DOI]

PhD thesis, 2007

1995

Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Applications, 1995