Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science ,
5
Towards a Digital Twin - Modelling an Agricultural Vehicle:
, In:
?
Proceedings of the 2020 Summer Simulation Conference ,
6