Andreas Enbacka

2009201020112012201320142015201620172018201920202021202220232 4 3 1 1 4 1 1 1 1 1 1 1

Andreas Enbacka

Embedo Oy

Verified email at abo.fi


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Rigorous development of automated inconsistency checks for digital evidence using the B method P Gladyshev, A Enbacka International Journal of Digital Evidence 6 (2), 1-21, 2007	19	2007
Formal specification and refinement of a write blocker system for digital forensics A Enbacka, L Laibinis Turku Centre for Computer Science, 2005	3	2005
Metrics for formal methods: The ATC case study T Staffans, A Enbacka		2004
Specification of an X Protocol C Binding using the B-method A Enbacka
of the Technical Report P Gladyshev, A Enbacka

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year