.pf

Results: 3946



#Item
11Formal methods / Theoretical computer science / Models of computation / Abstract state machines / Predicate transformer semantics / NC / 120-cell / File locking

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
12System 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

Language: English - Date: 2017-01-11 10:47:24
13

PDF Document

Add to Reading List

Source URL: www.pf.chiba-u.ac.jp

- Date: 2017-06-20 03:46:56
    14

    PDF Document

    Add to Reading List

    Source URL: www.pf.chiba-u.jp

    - Date: 2017-08-22 19:51:04
      15

      PDF Document

      Add to Reading List

      Source URL: www.pf.chiba-u.ac.jp

      - Date: 2016-09-14 04:38:40
        16

        PDF Document

        Add to Reading List

        Source URL: www.pf.chiba-u.ac.jp

        - Date: 2017-02-07 20:45:12
          17

          PDF Document

          Add to Reading List

          Source URL: www.transport-pf.or.jp

          - Date: 2011-09-25 23:41:56
            18

            PDF Document

            Add to Reading List

            Source URL: www.transport-pf.or.jp

            - Date: 2011-09-25 23:41:56
              19

              PDF Document

              Add to Reading List

              Source URL: www.pf.chiba-u.ac.jp

              - Date: 2018-04-11 00:30:36
                20

                PDF Document

                Add to Reading List

                Source URL: www.pf.chiba-u.ac.jp

                - Date: 2018-02-07 19:44:55
                  UPDATE