MPG.eBooks - Search Results

1

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Published 1995

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

2

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

3

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

by Margaria, Tiziana
Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

4

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice o...

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

5

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... by Compositional Model Checking -- Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point...”

Read Now

6

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

7

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2017

Springer Berlin Heidelberg

Table of Contents: “... Simulation-Based Analysis of Linear Hybrid Systems -- HARE: A Hybrid Abstraction Refinement Engine...”

Read Now

8

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2017

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

9

Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...-Based Process-Aware System for Smart Devices -- WS-Engineer 2008 -- MetaCDN: Harnessing Storage Clouds...”

Read Now

10

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

11

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...”

Narrow Search