Oskar Swida

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
Verifying a Class: combining Testing and Proving. Fundam. Informaticae 95 (2-3) (2009)
Oskar Swida, Aida Saeed-Baginska, Romuald Mosdorf
Frequency and Fractal Analysis of Address Resolution Protocol Traffic. CISIM (2008)
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. Fundam. Informaticae 85 (1-4) (2008)