Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine.

Sabah Al-Fedaghi

Published in: CoRR (2020)

Keyphrases

learning systems
formal methods
real world
distributed systems
data sets
data streams
expert systems
formal model
physical world
event recognition
dynamic aspects