Publication | Closed Access

On batch verification with group testing for vehicular communications

Vehicle CommunicationInternet Of VehicleEngineeringVerificationSystems EngineeringVehicle NetworkComputer ScienceBatch VerificationFormal Verification