Isse - PDFSEARCH.IO - Document Search Engine

Isse
Results: 196

#	Item
11	Modular Refinement for Submachines of ASMs ? Gidon Ernst, J¨ org Pf¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:47:24 Formal methods Theoretical computer science Models of computation Abstract state machines Predicate transformer semantics NC 120-cell File locking
12	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 Language: English - 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
13	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-06-12 04:11:06
14	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-01-23 08:41:56
15	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-01-23 08:41:56
16	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-03-23 09:17:23
17	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-01-23 08:41:56
18	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-01-23 08:41:56
19	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-01-23 08:41:56
20	PDF Document Add to Reading List Source URL: www.isse.ruhr-uni-bochum.de - Date: 2018-06-12 03:07:04