Segui
Andreas Enbacka
Andreas Enbacka
Embedo Oy
Email verificata su abo.fi
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–5