Program Verification Computers

251 books
Modelling distributed systemsWan Fokkink
⏱ 2h 31m

Modelling distributed systems

Wan Fokkink

2007151 pp.
Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research CenterJoseph W. Panek

Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center

Joseph W. Panek

2001No page data
A process improvement model for software verification and validationJohn Callahan

A process improvement model for software verification and validation

John Callahan

1994No page data
Open Source Identity Management Patterns and Practices Using OpenAM 10.xWaylon Kenning
⏱ 1h 56m

Open Source Identity Management Patterns and Practices Using OpenAM 10.x

Waylon Kenning

2013116 pp.
Verification, Model Checking, and Abstract InterpretationKedar S. Namjoshi
⏱ 6h 35m

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi

2005395 pp.
Formal Methods : Applications and TechnologyLubos Brim

Formal Methods : Applications and Technology

Lubos Brim

2007No page data
Computer aided verificationKim Guldstrand Larsen
⏱ 8h 7m

Computer aided verification

Kim Guldstrand Larsen

1992487 pp.
Hardware and software, verification and testingUnknown Author
⏱ 3h 55m

Hardware and software, verification and testing

Unknown Author

2007235 pp.
A survey of verification techniques for parallel programsHoward Barringer
⏱ 1h 55m

A survey of verification techniques for parallel programs

Howard Barringer

1985115 pp.
A practical approach to implementing real-time semanticsGerald Lüttgen

A practical approach to implementing real-time semantics

Gerald Lüttgen

1999No page data
A practical approach to implementing real-time semanticsGerald Lüttgen

A practical approach to implementing real-time semantics

Gerald Lüttgen

1999No page data
NUnitBill Hamilton
⏱ 1h 28m

NUnit

Bill Hamilton

200488 pp.
Computer control & audit guideJefim Efrim Boritz

Computer control & audit guide

Jefim Efrim Boritz

1987No page data
Verification and validation of rule-based expert systemsSuzanne Smith
⏱ 3h 23m

Verification and validation of rule-based expert systems

Suzanne Smith

1993203 pp.
Formal methodsInternational Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)
⏱ 6h 3m

Formal methods

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)

2007363 pp.
Communication protocol specification and verificationLai, Richard Ph. D.
⏱ 5h 4m

Communication protocol specification and verification

Lai, Richard Ph. D.

1998304 pp.
Formal methods of program verification and specificationH. K. Berg
⏱ 3h 27m

Formal methods of program verification and specification

H. K. Berg

1982207 pp.
Formal design and verification of a reliable computing platform for real-time controlRicky W. Butler

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

Ricky W. Butler

1992No page data
IEEE standard for standard delay format (SDF) for the electronic design processInstitute of Electrical and Electronics Engineers
⏱ 1h 21m

IEEE standard for standard delay format (SDF) for the electronic design process

Institute of Electrical and Electronics Engineers

200181 pp.
Proceedings of the Nineteenth Annual Software Engineering WorkshopSoftware Engineering Workshop (19th 1994 Greenbelt, Md.)

Proceedings of the Nineteenth Annual Software Engineering Workshop

Software Engineering Workshop (19th 1994 Greenbelt, Md.)

1994No page data
← PreviousPage 7 of 13Next →