Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles.
Samir ChoualiAzzedine BoukercheAhmed MostefaouiMohammed Amine MerzougPublished in: IEEE Trans. Veh. Technol. (2020)
Keyphrases
- knowledge base
- data exchange
- formal verification
- model checker
- model checking
- query answering
- data integration
- schema mappings
- data management
- knowledge representation
- temporal logic
- formal methods
- conjunctive queries
- digital campus
- formal specification
- database schema
- xml schema
- data sets
- peer data management systems
- databases