Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox.
Sidra IqbalTariq AliNazir Ahmad ZafarTahira BatoolPublished in: FIT (2022)
Keyphrases
- formal model
- online services
- real time
- online learning
- web services
- service providers
- protocol specification
- service oriented
- security properties
- predicate calculus
- service composition
- formal models
- vehicular ad hoc networks
- steady state
- petri net
- service quality
- signature verification
- management system
- social networks