Specification

Results: 18826



#Item
451

Supporting the Specification and Analysis of Timing Constraints* Lo Ko, Christopher Healy, Emily Ratliff Robert Arnold, and David Whalley Computer Science Dept., Florida State Univ. Tallahassee, FLe-mail: wha

Add to Reading List

Source URL: www.cs.fsu.edu

- Date: 2016-05-21 11:34:21
    452

    Service Operations Specification MEF 54 Ethernet Interconnection Point (EIP): An ENNI Implementation Agreement

    Add to Reading List

    Source URL: www.mef.net

    - Date: 2016-09-12 12:49:32
      453

      Outline Service Specification – Treatment May 2016 Outline Specification:

      Add to Reading List

      Source URL: about.gambleaware.org

      - Date: 2017-04-05 11:31:55
        454

        1300 Henley Court Pullman, WA6306 www.store. digilent.com Digilent Pmod™ Interface Specification 1.2.0

        Add to Reading List

        Source URL: reference.digilentinc.com

        - Date: 2017-10-05 14:21:35
          455

          Theora Specification Xiph.Org Foundation June 3, 2017 Contents 1 Introduction

          Add to Reading List

          Source URL: www.theora.org

          - Date: 2017-12-05 23:23:12
            456

            Chapter 1 RULE-BASED POLICY SPECIFICATION Grigoris Antoniou Information Systems Laboratory, Institute of Computer Science, FORTH, Greece

            Add to Reading List

            Source URL: www.l3s.de

            - Date: 2012-07-07 19:23:35
              457

              Abstract Specification of Legal Contracts ∗ Cristian Prisacariu Gerardo Schneider Department of Informatics, University of Oslo,

              Add to Reading List

              Source URL: www.cse.chalmers.se

              - Date: 2012-01-20 16:13:42
                458

                DocBook Version 5.1 OASIS Standard 22 November 2016 Specification URIs This version: http://docs.oasis-open.org/docbook/docbook/v5.1/os/docbook-v5.1-os.html (Authoritative)

                Add to Reading List

                Source URL: docs.oasis-open.org

                - Date: 2016-11-22 12:00:00
                  459

                  Logical Testing Hoare-style Specification Meets Executable Validation Kathryn E. Gray Alan Mycroft

                  Add to Reading List

                  Source URL: www.cl.cam.ac.uk

                  - Date: 2012-07-16 09:41:41
                    460

                    sodiraSDR – Software-Radio Specification Version of this document and SoDiRa software: 0.100 preview Table of contents

                    Add to Reading List

                    Source URL: www.dsp4swls.de

                    - Date: 2018-01-23 18:19:07
                      UPDATE