Login / Signup
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
Stefano Sinisi
Vadim Alimguzhin
Toni Mancini
Enrico Tronci
Published in:
CoRR (2021)
Keyphrases
</>
open source
cost effective
model checking
computationally expensive
open standards
real world
website
case study
dynamic environments
information sharing
robotic systems
asynchronous circuits