Systems

Results: 323656



#Item
251Control engineering / Systems theory / Systems science / Control theory / Cybernetics / Computational mathematics / Sliding mode control

A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
252Formal methods / Verification / Technology / Refinement / Specification / File system / Evaluation / Business

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-24 20:19:39
253

PDF Document

Add to Reading List

Source URL: www.casa-systems.com

- Date: 2018-06-01 12:08:27
    254

    PDF Document

    Add to Reading List

    Source URL: www.global-systems-science.org

    - Date: 2012-12-08 05:09:49
      255

      PDF Document

      Add to Reading List

      Source URL: www.acube-systems.biz

      - Date: 2014-11-16 11:56:23
        256

        PDF Document

        Add to Reading List

        Source URL: www.stepcraft-systems.com

        - Date: 2017-09-11 10:23:10
          257

          PDF Document

          Add to Reading List

          Source URL: myt-systems.sk

            258

            PDF Document

            Add to Reading List

            Source URL: www.global-systems-science.org

            - Date: 2012-12-28 08:21:35
              259

              PDF Document

              Add to Reading List

              Source URL: www.systems-eng.co.jp

              - Date: 2018-05-07 05:41:25
                260

                PDF Document

                Add to Reading List

                Source URL: www.systems-eng.co.jp

                - Date: 2018-05-07 05:41:30
                  UPDATE