Related Books
Language: en
Pages: 290
Pages: 290
Type: BOOK - Published: 2009-12-04 - Publisher: Springer Science & Business Media
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and va
Language: en
Pages: 273
Pages: 273
Type: BOOK - Published: 2010-05-03 - Publisher: Springer
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and va
Language: en
Pages: 20
Pages: 20
Type: BOOK - Published: 1996 - Publisher:
Abstract: "We survey recent progress in the development of mathematical techniques for specifying and verifying complex hardware and software systems. Many of t
Language: en
Pages: 197
Pages: 197
Type: BOOK - Published: 2021-10-17 - Publisher: Springer Nature
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by
Language: en
Pages: 417
Pages: 417
Type: BOOK - Published: 2023-09-07 - Publisher: Springer Nature
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and