Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software

Wischermann D, Schröder-Preikschat W (2010)

Publication Type: Conference contribution

Publication year: 2010

Publisher: GI

City/Town: Bonn

Book Volume: 176

Pages Range: 363-368

Conference Proceedings Title: Informatik 2010 - Service Science Neue Perspektiven für die Informatik"

Event location: Leipzig

ISBN: 978-3-88579-270-3

URI: http://www4.informatik.uni-erlangen.de/DE/~wischerm/motes2010.pdf

Authors with CRIS profile

Dirk Wischermann Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

How to cite

APA:

Wischermann, D., & Schröder-Preikschat, W. (2010). Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software. In Informatik 2010 - Service Science – Neue Perspektiven für die Informatik" (pp. 363-368). Leipzig: Bonn: GI.

MLA:

Wischermann, Dirk, and Wolfgang Schröder-Preikschat. "Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software." Proceedings of the Workshop on Model-based Testing (MoTes 2010), Leipzig Bonn: GI, 2010. 363-368.

BibTeX: Download