Formal Methods For Executable Software Models
Download Formal Methods For Executable Software Models full books in PDF, epub, and Kindle. Read online free Formal Methods For Executable Software Models ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Formal Methods for Executable Software Models
Author | : Marco Bernardo |
Publisher | : Springer |
Total Pages | : 350 |
Release | : 2014-05-26 |
Genre | : Computers |
ISBN | : 3319073176 |
Download Formal Methods for Executable Software Models Book in PDF, Epub and Kindle
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
Formal Methods for Executable Software Models Related Books
Pages: 350
Pages: 326
Pages: 362
Pages: 444
Pages: 367