OVERTURE FULL PAPERS: KEYWORD INDEX
A | |
Animation | |
C | |
Co-Simulation | |
Code Generators | |
code-generation | |
Continuous delivery | |
continuous validation | |
D | |
Design Space Exploration | |
Discrete-Event | |
E | |
EMVCo | |
F | |
FMI | |
Functional Mock-up Interface | |
I | |
Industrial application | |
M | |
Model transformations | |
multi-modelling | |
O | |
Optimisation | |
Overture | |
R | |
real-time | |
S | |
Security | |
Smart Buildings | |
Software as a Service | |
swarms | |
U | |
unit testing | |
V | |
VDM | |
VDM-RT | |
VDMJ | |
Vienna Development Method (VDM) | |
Virtual Machine |