Theory and Application of Reuse, Integration, and Data Science

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

Inhalt
Improved Logical Passing Strategy and Gameplay Algorithm for Humanoid Soccer Robots using Colored Petri nets Kieutran.- Analyzing Cleaning Robots using Probabilistic Model Checking.- From Petri Nets to UML: A New Approach for Model Analysis.- Using Belief Propagation-based Proposal Preparation for Automated Negotiation over Environmental Issues.- SAIL: A Scalable Wind Turbine Fault Diagnosis Platform A Case Study on Gearbox Fault Diagnosis.- Efficient Authentication of Approximate Record Matching for Outsourced Databases.- Active Dependency Mapping A Data-Driven Approach to Mapping Dependencies in Distributed Systems.