Henning Jost
According to our database1,
Henning Jost
authored at least 3 papers
between 2010 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Reasoning on Domain Knowledge and Technical Standards to Support the Development of Safety-Critical Automotive Systems.
PhD thesis, 2012
2011
Towards a safer development of driver assistance systems by applying requirements-based methods.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011
2010
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.
Proceedings of the FORMS/FORMAT 2010, 2010