Petter Sandvik

Julkaisut

Julkaisuja vuodessa 2010 2010 2012 2013 2014 2015

• 5 Konferenssiartikkeli
• 3 Tutkimusraportti
• 3 Artikkeli
• 1 Tohtorinväitöskirja

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• An Event-B Model for On-Demand Streaming

  Sandvik, P., Sere, K. & Walden, M., 2010, Turku, Finland: Turku Centre for Computer Science. (TUCS Technical Reports; nro 994)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Simulation Mode 100%
  • Networks 66%
  • Events 66%
  • Service 66%
  • Distributed Systems 33%
  10 Lataukset (Pure)

• A Modular Approach to Formal Modelling of Peer-to-Peer Networks

  Petre, L., Sandvik, P. & Sere, K., 2012, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• A Formal Specification Language for Content Transfer Algorithms

  Sandvik, P., 2014, TUCS.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen