STEIM: A Spatiotemporal Event Interaction Model in V2X Systems Based on a Time Period and a Raster Map

Table 4

Reasoning results of example.

UserName

UserEventBase

This theoretical derivation and derivation indicate that the operational semantics of the STEIM language are effective.