Andreas Enbacka

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

Andreas Enbacka

Embedo Oy

abo.fi의 이메일 확인됨


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–5

연간 인용횟수