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

4 Downloads (Pure)

Fingerprint

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

Computer Science

Physics

Engineering

Medicine and Dentistry

Economics, Econometrics and Finance