
Overview
- Presents the latest research on Formal Methods Integration
- Includes the best papers from the 5th IEEE International Workshop on Formal Methods Integration - IEEE FMi 2017, held in San Diego, CA, USA, August 4-6, 2017
- Written by respected experts in the field
Part of the book series: Advances in Intelligent Systems and Computing (AISC, volume 838)
Included in the following conference series:
Conference proceedings info: IEEE IRI 2017 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The book includes high-quality research papers on these and many other aspects, written by experts in information reuse and integration, who cover the latest advances in the field. Their contributions are extended versions of the best papers presented at the IEEE International Conference on Information Reuse and Integration (IRI) and IEEE International Workshop on Formal Methods Integration (FMI), which were held in San Diego in August 2017.
Similar content being viewed by others
Keywords
Table of contents (7 papers)
Other volumes
-
Theory and Application of Reuse, Integration, and Data Science
Editors and Affiliations
Bibliographic Information
Book Title: Theory and Application of Reuse, Integration, and Data Science
Editors: Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod, Stuart H. Rubin
Series Title: Advances in Intelligent Systems and Computing
DOI: https://doi.org/10.1007/978-3-319-98056-0
Publisher: Springer Cham
eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-319-98055-3Published: 08 May 2019
eBook ISBN: 978-3-319-98056-0Published: 07 May 2019
Series ISSN: 2194-5357
Series E-ISSN: 2194-5365
Edition Number: 1
Number of Pages: XI, 189
Number of Illustrations: 76 b/w illustrations