MPG.eBooks - Search Results - "The Times"

Cover Image

1

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: “... Properties of Real-Time HTL Programs -- CONNECT: Status and Plans -- Towards an Architecture for Runtime...”

Cover Image

2

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: “...Contract-Based Slicing -- Worst-Case Traversal Time (WCTT) -- Special Track on Worst Case Traversal...”