M. Gabler, and J. Knippers. 13th International Conference on Structural and Geotechnical Engineering, Cairo – Egypt, Ain Shams University Faculty of Engineering, Department of Structural Engineering, (27-29 Dec. 2009)
M. Gabler, and J. Knippers. 13th International Conference on Structural and Geotechnical Engineering, Cairo – Egypt, Ain Shams University Faculty of Engineering, Department of Structural Engineering, (27-29 Dec. 2009)
P. Braun, J. Philipps, B. Schätz, and S. Wagner. Electronic Notes in Theoretical Computer Science, 238 (4):
71 - 77(2009)Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008).
