Petter Sandvik

Systemadministratör, Planering och utveckling
Systemadministratör, ICT-service
Universitetslärare, Datavetenskap
E-post: petter.sandvik@abo.fi
Mobiltelefon: +358-504095154
Telefon: +358-2-2153379


Referentgranskade publikationer

G5 Doktorsavhandling (artikel)
Formal Modelling for Digital Media Distribution (2015)
Petter Sandvik
A4 Konferenspublikationer
On Proving Recoverability of Smart Electrical Grids (2014)
Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
SPECTA: A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
IEEE Computer Society Institute of Electrical and Electronic Engineers
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Formal Approach to H.264 Video Decoding on Multicore Systems (2013)
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik

Senast uppdaterad 2018-19-09 vid 19:44