Követés
Andreas Enbacka
Andreas Enbacka
Embedo Oy
E-mail megerősítve itt: abo.fi
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
192007
Formal specification and refinement of a write blocker system for digital forensics
A Enbacka, L Laibinis
Turku Centre for Computer Science, 2005
32005
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–5