An Event-B Model for On-Demand Streaming

Petter Sandvik*, Kaisa Sere, Marina Walden

*Corresponding author for this work

Research output: Book/Journal/ReportCommissioned reportProfessional

Fingerprint Dive into the research topics of 'An Event-B Model for On-Demand Streaming'. Together they form a unique fingerprint.

Engineering & Materials Science