PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Eschbach, Robert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing.

, , und . CoRR, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Robert Meissner

Robert Wipperfürth University of Stuttgart

Robert Warnecke University of Stuttgart

Robert Gröner University of Stuttgart

Robert Henzel University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain., , , , , , , und . IJERTCS, 2 (2): 22-41 (2011)A Executable Formal Semantics for SDL-2000., , und . SAM, Seite 249-261. VERIMAG, IRISA, SDL Forum, (2000)Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest., , , und . Software Engineering, Volume P-121 von LNI, Seite 99-111. GI, (2008)Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application., , und . IEEE Software, 29 (6): 62-69 (2012)SIMOTEST: A tool for automated testing of hybrid real-time Simulink models., und . ETFA, Seite 1-4. IEEE, (2011)Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study., und . ICST Workshops, Seite 39-47. IEEE Computer Society, (2009)The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing., , und . EUROMICRO-SEAA, Seite 388-391. IEEE Computer Society, (2011)Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application., , , und . EuroSPI, Volume 99 von Communications in Computer and Information Science, Seite 71-82. Springer, (2010)A Termination Detection Algorithm: Specification and Verification.. World Congress on Formal Methods, Volume 1709 von Lecture Notes in Computer Science, Seite 1720-1737. Springer, (1999)Enabling Statistical Testing for Component-based Systems., und . GI Jahrestagung (2), Volume P-176 von LNI, Seite 357-362. GI, (2010)