Christian Müller

Affiliations:

According to our database¹, Christian Müller authored at least 3 papers between 2010 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

Complete formal hardware verification of interfaces for a FlexRay-like bus.

[BibT_eX]

[DOI]

PhD thesis, 2011

Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Towards the Formal Verification of a Distributed Real-Time Automotive System.

[BibT_eX]

[DOI]

Proceedings of the Second NASA Formal Methods Symposium, 2010