A Formal Semantics for Traffic Sequence Charts.

Werner Damm Eike Möhlmann Thomas Peikenkamp Astrid Rakow

Published in: Principles of Modeling (2018)

Keyphrases

formal semantics
operational semantics
modeling language
formal language
first order logic
network traffic
logical reasoning
logical language
machine learning
er model
traffic flow
ontology languages
modelling language