search result

Cover von Modultest und Modulverifikation
Author: Liggesmeyer, Peter Search for this author
Year: 1990
Publisher: Mannheim, BI-Wissenschaftsverlag
Series: Angewandte Informatik; 4
Media group: MONOGRAPHIE
Cover von Deutschlands digitale Köpfe; 1
Sonderheft : S. 1-85
Search for this author
Year: 2015
Publisher: Berlin, Springer
Informatik Spektrum
Count: 1
Media group: SPECIAL ISSUE
Cover von Software-Qualität
Testen, Analysieren und Verifizieren von Software
Author: Liggesmeyer, Peter Search for this author
Year: 2009
Publisher: Heidelberg, Spektrum Akademischer Verlag
Media group: MONOGRAPHIE
Cover von Software-Qualität
testen, analysieren und verifizieren von Software
Author: Liggesmeyer, Peter Search for this author
Year: 2002
Publisher: Heidelberg, Spektrum Akadem. Verl.
Media group: MONOGRAPHIE
Cover von Computer safety, reliability, and security
23rd international conference, Potsdam, Germany, September 21 - 24, 2004, proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3219
Media group: MONOGRAPHIE
Cover von Software Engineering 2009
Workshopband : Fachtagung des GI-Fachbereichs Softwaretechnik : 02. - 06.03.2009 in Kaiserslautern
Search for this author
Year: 2009
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 150
Media group: MONOGRAPHIE
Cover von Software Engineering eingebetteter Systeme
Grundlagen, Methodik, Anwendungen
Search for this author
Year: 2005
Publisher: Amsterdam, Elsevier
Media group: MONOGRAPHIE
Cover von Object-oriented and internet-based technologies
5th annual international conference on object-oriented and internet-based technologies, concepts, and applications for a networked world, Erfurt, Germany, September 27 - 30, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3263
Media group: MONOGRAPHIE
Cover von Test, Analyse und Verifikation von Software
aus der Arbeit der Fachgruppe 2.1.7, Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik
Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 260
Media group: MONOGRAPHIE
Cover von Improving Safety-Critical Systems by Visual Analysis

Improving Safety-Critical Systems by Visual Analysis

article
Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0