<--- Back to Details
First PageDocument Content
System software / Computer architecture / Data management / Embedded Linux / Disk file systems / LogFS / Flash file system / File system / UBIFS / Computer file / NTFS / File descriptor
Date: 2017-01-11 10:47:24
System software
Computer architecture
Data management
Embedded Linux
Disk file systems
LogFS
Flash file system
File system
UBIFS
Computer file
NTFS
File descriptor

Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Download Document from Source Website

File Size: 446,09 KB

Share Document on Facebook

Similar Documents

The ultimate guide to software updates on embedded Linux devices foss-northMirza Krak

The ultimate guide to software updates on embedded Linux devices foss-northMirza Krak

DocID: 1ufgv - View Document

FOSS Licenses Linux and the Embedded Market GPL Violations and License Enforcement GNU GPL License Compliance With specific focus on Embedded Devices

FOSS Licenses Linux and the Embedded Market GPL Violations and License Enforcement GNU GPL License Compliance With specific focus on Embedded Devices

DocID: 1tI09 - View Document

Embedded Linux development with Buildroot training 3-day session Title  Embedded Linux development with Buildroot training

Embedded Linux development with Buildroot training 3-day session Title Embedded Linux development with Buildroot training

DocID: 1tHMc - View Document

Industrial-grade Open Source Base Layer Yoshitake Kobayashi, Toshiba Corporation Embedded Linux Conference North America, March 12-14, 2018

Industrial-grade Open Source Base Layer Yoshitake Kobayashi, Toshiba Corporation Embedded Linux Conference North America, March 12-14, 2018

DocID: 1tBye - View Document

engineers_guide_to_android_and_embedded_linux_2016.pdf

engineers_guide_to_android_and_embedded_linux_2016.pdf

DocID: 1taIc - View Document