Hendrik Fürstenau - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 2 from 2

2006

Requirements EngineeringThomas Bieser, Hendrik Fürstenau, Stephan Otto, Daniel Weiß 0001. In Stefan Kirn, Otthein Herzog, Peter C. Lockemann, Otto Spaniol, editors, Multiagent Engineering, Theory and Applications in Enterprises. pages 359-381, Springer, 2006. [doi]

From Testing to Theorem ProvingIngo J. Timm, Thorsten Scholz, Hendrik Fürstenau. In Stefan Kirn, Otthein Herzog, Peter C. Lockemann, Otto Spaniol, editors, Multiagent Engineering, Theory and Applications in Enterprises. pages 531-554, Springer, 2006. [doi]

Sign in or sign up to see more results.

runs on WebDSL