PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Eschbach, Robert"

Author of the publication

copydeleteadd this publication to your clipboard
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems.

, , and . Software Engineering, volume P-159 of LNI, page 105-116. GI, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert Henzel University of Stuttgart

Dr. rer. nat. Robert Seyfang University of Stuttgart

Dr. rer. pol. Robert Rose University of Stuttgart

PD Dr. Robert Dinnebier University of Stuttgart

Robert Meissner

 

Other publications of authors with the same name

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