"Computer systems+Verification." - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: subject "Computer systems+Verification."

Showing 41 - 50 of 51 results

Search Results

Cover image for Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities

Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities

2009
Format: Electronic

Location
Access Content Online

Cover image for A criteria standard for conflict resolution

A criteria standard for conflict resolution

2010
Format: Electronic

Location
Access Content Online

Cover image for Verification of infinite-state systems with applications to security

Verification of infinite-state systems with applications to security

2006
Format: Electronic

Location
Access Content Online

Cover image for NASA formal methods

NASA formal methods

by NFM (Symposium)
2012
Format: Electronic

Location
Access Content Online

Cover image for NASA formal methods

NASA formal methods

by NFM (Symposium)
2011
Format: Electronic

Location
Access Content Online

Cover image for Peer review of a formal verification/design proof methodology

Peer review of a formal verification/design proof methodology

1985
Format: Microform

Joyner Library - Microforms B300

Call Number: NAS 1.55:2377

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2010
Format: Electronic

Location
Access Content Online

Cover image for Formal design and verification of a reliable computing platform for real-time control

Formal design and verification of a reliable computing platform for real-time control

by Butler, Ricky W.
1994
Format: Book

Joyner Library - Microforms B300

Call Number: NAS 1.15:109140

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2009
Format: Electronic

Location
Access Content Online

Cover image for Trustworthy global computing

Trustworthy global computing

by TGC 2008
2009
Format: Electronic

Location
Access Content Online