Crossmark

Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System

Crossref DOI link: https://doi.org/10.1007/978-3-031-66673-5_12

Published Online: 2024-09-04

Published Print: 2024

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Xu, Xiong https://orcid.org/0000-0003-4236-9992
Wang, Shuling https://orcid.org/0000-0002-2798-2660
Ji, Zekun https://orcid.org/0009-0000-0302-1737
Gao, Qiang https://orcid.org/0009-0000-4663-8622
Jin, Xiangyu https://orcid.org/0000-0001-6176-2242
Zhan, Bohua https://orcid.org/0000-0001-5377-9351
Zhan, Naijun https://orcid.org/0000-0003-3298-3817
License Information

Text and Data Mining valid from 2024-01-01

Version of Record valid from 2024-01-01
More Information

Chapter History

First Online: 4 September 2024