R. Eschbach

A Framework for the Analysis of Formal Description Techniques for Timed Systems a Framework for the Analysis of Formal Description Techniques for Timed Systems ?

R. Eschbach, T. Dei, M. Kronenburg, 1998 .

Temporal Logics as Examples of Formal Description Techniques for Timed Systems

R. Eschbach, M. Kronenburg, Thomas J Deiss, 1998 .

Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models

Andreas Prinz, Robert Eschbach, Reinhard Gotzhein, 2001, Journal of universal computer science (Online).

Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study

Robert Eschbach, Johannes Kloos, R. Eschbach, 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

A Termination Detection Algorithm: Specification and Verification

Robert Eschbach, R. Eschbach, 1999, World Congress on Formal Methods.

Automated Statistical Testing for Embedded Systems

Jesse H. Poore, Lan Lin, Robert Eschbach, 2011, Model-Based Testing for Embedded Systems.

Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches

Robert Eschbach, Haruka Nakao, R. Eschbach, 2008, 2008 Second International Conference on Secure System Integration and Reliability Improvement.

ATO OVER ETCS: MODEL-BASED SYSTEM AND ARCHITECTURE ANALYSIS WITH ARCADIA AND EVENT-B

R. Eschbach, 2022, WIT Transactions on The Built Environment.