- ECU Libraries Catalog

Start Over

You searched for: author_facet Miner, Paul S.

Showing 1 - 3 of 3 results

Search Results

Cover image for A methodology for evaluating artifacts produced by a formal verification process

A methodology for evaluating artifacts produced by a formal verification process

by Siminiceanu, Radu I.
2011
Format: Electronic

Location
Access Content Online

Cover image for Design of the protocol processor for the ROBUS-2 communication system

Design of the protocol processor for the ROBUS-2 communication system

by Torres-Pomales, Wilfredo
2005
Format: Electronic

Location
Access Content Online

Cover image for Defining the IEEE-854 floating-point standard in PVS

Defining the IEEE-854 floating-point standard in PVS

by Miner, Paul S.
1995
Format: Book

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:110167	✔ Available