Editors:
- 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)
Conference series link(s): IRI 2016: International Conference on Information Reuse and Integration
Conference proceedings info: IEEE IRI 2017 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 papers)
-
Front Matter
-
Back Matter
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.
Editors and Affiliations
-
Laboratoire de Communication dans les Systèmes Informatiques, Ecole nationale Supérieure d’Informatique, Algiers, Algeria
Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod
-
Space and Naval Warfare Systems Center Pacific, San Diego, USA
Stuart H. Rubin
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