MPG.eBooks - Search Results - social ((impact models) or (compact models))

Search alternatives:
compact models » compact model , compact modeling , complex models
impact models » impact model , compact model

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: “... Algorithms in Automated Assume-Guarantee Reasoning -- Inferring Compact Models of Communication Protocol...”