TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
Accountability | |
ACTL | |
actor network | |
ambiguity | |
Artificial Intelligence | |
Attribute based Communication | |
Automata | |
axiomatization | |
B | |
behavioural contract | |
Big Data Interoperability | |
bike-sharing system | |
Blockchain | |
C | |
CFMTS | |
Co-modelling and co-simulation | |
completeness | |
contract | |
contract automata | |
Controlled Natural Languages | |
correlation | |
Cyber-physical systems | |
Cyber-security | |
D | |
Data Integration | |
data race | |
Digital Humanities | |
DIME | |
F | |
formal methods | |
G | |
global session types | |
H | |
Hennessy-Milner theorem | |
Historical Data | |
Human in the loop | |
hybrid logic | |
I | |
interaction-based systems | |
K | |
Knowledge representation | |
L | |
Language implementation | |
M | |
Medical imaging | |
Model based testing | |
model checking | |
Model-based Systems Engineering | |
N | |
natural language | |
Natural language processing | |
NLP | |
O | |
OpenMP | |
P | |
parallel operator | |
parallelization | |
Presburger | |
probabilistic choice | |
process algebra | |
Product lines | |
propositional dynamic logic | |
R | |
Railway systems | |
railways | |
RE | |
Requirements | |
requirements analysis | |
requirements documents | |
requirements elicitation | |
requirements engineering | |
requirements specification | |
S | |
safe artificial intelligence | |
Semantics | |
service | |
service orchestration | |
Smart Contract | |
Software defined networks | |
Spatial logics | |
Systems of Systems | |
T | |
testing | |
timetables | |
U | |
UML sequence diagrams | |
UPPAAL | |
V | |
variability modeling | |
verification by translation | |
Verification tools | |
Virtual Network Functions | |
W | |
Workflow Processes |