A Roadmap for Formal Property Verification View on Open Library

A Roadmap for Formal Property Verification

by Pallab Dasgupta

No reviews yet
First published: 2006 1 language ISBN: 9781402047589
Subjects
Systems engineering Logic design Engineering Computer-aided design Computer science Electronics Computer engineering Verification Integrated circuits Electronic circuits

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Pallab Dasgupta

Multiobjective Heuristic Search

Multiobjective Heuristic Search

Multiobjective Heuristic Search

Multiobjective Heuristic Search

You Might Also Like

More in Systems engineering
Brave New World

Brave New World

Aldous Huxley
Railroad accident report

Railroad accident report

United States. National Transportation Safety Board.
Financial audit

Financial audit

United States. General Accounting Office
NASA/DoD aerospace knowledge diffusion research project

NASA/DoD aerospace knowledge diffusion r...

Thomas E. Pinelli
Nuclear waste

Nuclear waste

United States. General Accounting Office
Jurassic Park

Jurassic Park

Michael Crichton