FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
OVERTURE FULL PAPERS: KEYWORD INDEX
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