Safety Verification of Driving Resource Occupancy Rules Based on Functional Language.

Zhixi Hu Yi Zhu Xiaoying Chen Yu Zhao

Published in: Future Internet (2022)

Keyphrases

functional language
functional programming
programming language
intelligent vehicles
decision rules
object oriented
data mining
model checking
traffic accidents
data management
active databases