Runtime Verification for FMI-Based Co-simulation.

Anastasios Temperekidis Nikolaos Kekatos Panagiotis Katsaros

Published in: RV (2022)

Keyphrases

data sets
databases
multiresolution
simulation model
real world
e learning
knowledge base
model checking