Showing 1 - 5 results of 5 for search 'Owre, Sam', query time: 0.03s
Refine Results
-
1
The formal semantics of PVS by Owre, Sam
Published 1999Call Number: Loading…Click here to view online
Located: Loading…
Government Document Microfilm Book -
2
Theory interpretations in PVS by Owre, Sam
Published 2001Call Number: Loading…Click here to view full text online
Located: Loading…
Government Document Microfilm Book -
3
Analyzing tabular and state-transition requirements specifications in PVS by Owre, Sam
Published 1997Call Number: Loading…Connect to online resource
Located: Loading…
Government Document Book -
4
Abstract datatypes in PVS by Owre, Sam
Published 1997Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
5
Integrated formal analysis of timed-triggered ethernet by Dutertre, Bruno
Published 2012Other Authors:Call Number: Loading…Online Access
Located: Loading…
Online Access
Government Document Electronic eBook
Search Tools:
RSS Feed
Related Subjects
Prototypes
Specifications
Binary data
Computer networks
Computer programs
Cost reduction
Data processing
Data structures
Errors
Ethernet
Formalism
Mathematical models
Mechanization
Program verification (Computers)
Programming languages
Protocol (computers)
Recursive functions
Semantics
Software development tools
Time synchronization
Topology
Trees (Mathematics)