Formal specification and refinement of a write blocker system for digital forensics
Finna-arvio
Formal specification and refinement of a write blocker system for digital forensics
Tallennettuna:
| Ulkoasu |
27, [3] sivua : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Turku :
Turku Centre for Computer Science,
2005.
|
| Sarja | TUCS technical report, ISSN 1239-1891; no 718. |
| Luokitus | |
| Lisätiedot | Andreas Enbacka, Linas Laibinis |
| ISBN |
952-12-1624-7 nidottu |
| Hae kokoteksti | |