Boris Langer

According to our database, Boris Langer authored at least 3 papers between 2008 and 2011.

Collaborative distances:

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

2011

Seamless Testing for Models and Code.

Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

Navigating the Requirements Jungle.

Boris Langer, Michael Tautschnig

Proceedings of the Leveraging Applications of Formal Methods, 2008