Andreas Enbacka

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

Andreas Enbacka

Embedo Oy

Verifierad e-postadress på abo.fi


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–5

Citat per år