FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: ACDEFIMORSUV
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