Showing 1 - 5 results of 5 for search 'Owre, Sam', query time: 0.03s Refine Results
  1. 1
    The formal semantics of PVS

    The formal semantics of PVS by Owre, Sam

    Published 1999
    Click here to view online
    Government Document Microfilm Book
    Save to List
    Saved in:
  2. 2
    Theory interpretations in PVS

    Theory interpretations in PVS by Owre, Sam

    Published 2001
    Click here to view full text online
    Government Document Microfilm Book
    Save to List
    Saved in:
  3. 3
    Analyzing tabular and state-transition requirements specifications in PVS

    Analyzing tabular and state-transition requirements specifications in PVS by Owre, Sam

    Published 1997
    Connect to online resource
    Government Document Book
    Save to List
    Saved in:
  4. 4
    Abstract datatypes in PVS

    Abstract datatypes in PVS by Owre, Sam

    Published 1997
    Government Document Microfilm Book
    Save to List
    Saved in:
  5. 5
    Integrated formal analysis of timed-triggered ethernet

    Integrated formal analysis of timed-triggered ethernet by Dutertre, Bruno

    Published 2012
    Other Authors:
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed