Security and Communication Networks

Research Article

Formal  Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z

Table 11

Parameters involved in the experiment.
ParameterContents
Action
GS
BS
Environment