Berechnung von Kamerabildern

1. J. Gunsing, D. Telgen, J. van Althuis, J. van de Loosdrecht, M. Stappers, P. Klijn, Focus on image sensors, Mikroniek, 2013(5), 15-18.
2. Z. Wang, L. He, T. Li, J. Tao, C. Hu, M. Wang, Tunnel image stitching based on geometry and features, Journal of Physics: Conference Series (Vol. 1592, No. 1, p. 012013). IOP Publishing, 2020.
3. T. Grosch, Fast and robust high dynamic range image generation with camera and object movement, Vision, Modeling and Visualization, RWTH Aachen, 277284, 2006.
4. E. Sabziev, Determining the location of an unmanned aerial vehicle based on video camera images, Advanced Information Systems-Sučasnì ìnformacìjnì sistemi, 5(1) (2021), 136-139.

Mathematik beweist, dass Software keine Fehler hat

1. F. Feder, Statische Codeanalyse, Hochschule Offenburg, Seminar Neue Technologien, 2012.
2. Z. Jelinski, P. Moranda, Software reliability research, Statistical computer performance evaluation (pp. 465-484), Academic Press, 1972.
3. H. Balzert, Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering, 3 ed., Spektrum Akademischer Verlag, Heidelberg, 2009.
4. K. Bender, Embedded Systems - qualitätsorientierte Entwickung, Springer, Berlin, Heidelberg, New York, 2005.
5. P. Liggesmeyer, Software-Qualität: Testen, Analysieren und Verifizieren von Software, 2 ed., Spektrum Akademischer Verlag, Heidelberg, 2009.
6. The MathWorks, Code Verification and Run-Time Error Detection Through Abstract Interpretation: A Solution to Today’s Embedded Software Testing Challenges, 2007.