MPG.eBooks - Search Results

Cover Image

1

Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceed...

Published 2002

Springer Berlin Heidelberg

Cover Image

2

Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceeding...

by Damm, Werner
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

3

Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Cover Image

4

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

by Damm, Werner
Published 1987

Springer Berlin Heidelberg

Cover Image

6

Practical Formal Methods for Hardware Design

Published 1997

Springer Berlin Heidelberg

Cover Image

7

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Published 2004

Springer Berlin Heidelberg