"Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität
M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007.
Download
No fulltext has been uploaded.
Report
| English
Author
Gehrke, Matthias;
Güldali, Baris;
Kindler, Ekkart
Department
Publishing Year
LibreCat-ID
Cite this
Gehrke M, Güldali B, Kindler E. “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität. University of Paderborn, s-lab; 2007.
Gehrke, M., Güldali, B., & Kindler, E. (2007). “Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität. University of Paderborn, s-lab.
@book{Gehrke_Güldali_Kindler_2007, title={“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität}, publisher={University of Paderborn, s-lab}, author={Gehrke, Matthias and Güldali, Baris and Kindler, Ekkart}, year={2007} }
Gehrke, Matthias, Baris Güldali, and Ekkart Kindler. “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität. University of Paderborn, s-lab, 2007.
M. Gehrke, B. Güldali, and E. Kindler, “Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität. University of Paderborn, s-lab, 2007.
Gehrke, Matthias, et al. “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität. University of Paderborn, s-lab, 2007.
Google Scholar