Andreas Enbacka

Andreas Enbacka

Abo Akademi University - Turku / Finland
Others
AD Scientific Index ID: 5641604
Åbo Akademi University
person_outline Andreas Enbacka's MOST POPULAR ARTICLES
1-) Rigorous development of automated inconsistency checks for digital evidence using the B methodP Gladyshev, A EnbackaInternational Journal of Digital Evidence 6 (2), 1-21, 2007192007
2-) Formal specification and refinement of a write blocker system for digital forensicsA Enbacka, L LaibinisTurku Centre for Computer Science, 200532005
3-) Metrics for formal methods: The ATC case studyT Staffans, A Enbacka2004
4-) Specification of an X Protocol C Binding using the B-methodA Enbacka
5-) of the Technical ReportP Gladyshev, A Enbacka