Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Verification techniques for system-level design
Verification techniques for system-level design
Author 
Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Modeling and verification of real-time systems formalisms and software tools
Modeling and verification of real-time systems formalisms and software tools
Author 
Merz, Stephan. Navet, Nicolas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Availability 
Online Library~1
Available:
Copies: