Martin Böschen

According to our database, Martin Böschen authored at least 3 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Bridging the Gap between Natural Language Requirements and Formal Specifications.

Martin Böschen, Ralf Bogusch, Anabel Fraga, Christian Rudat

Proceedings of the Joint Proceedings of REFSQ-2016 Workshops, 2016

2015

Tracing of Informal and Formal Requirements through Model Variables.

Martin Böschen, Christian Rudat

Proceedings of the SKY 2015, 2015

2014

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures.

Christian Ellen, Martin Böschen, Thomas Peikenkamp

Proceedings of the Computer Safety, Reliability, and Security, 2014