Kategorien

Zu "Formal Verification" wurden 10 Produkte gefunden

Filter
–
Download
PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications Torben Amtoft, Selly Browning, Jared Davis, Anthony C. J. Fox, David A. Greve, Michael J. C. Gordon

171,19 €*
Download
PDF
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh, Sandeep Kumar Shukla

117,69 €*
Download
PDF
Formal Verification of Simulink/Stateflow Diagrams
Formal Verification of Simulink/Stateflow Diagrams Naijun Zhan, Shuling Wang, Hengjun Zhao

117,69 €*
Download
PDF
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification Sandip Ray

96,29 €*
Download
PDF
Complete Symbolic Simulation of SystemC Models
Complete Symbolic Simulation of SystemC Models Vladimir Herdt

53,49 €*
Download
PDF
Ubiquitous Information Technologies and Applications
Ubiquitous Information Technologies and Applications Young-Sik Jeong, Young-Ho Park, Ching-Hsien (Robert) Hsu, James J. (Jong Hyuk) Park

309,23 €*
Download
PDF
Advanced Logic Synthesis
Advanced Logic Synthesis André Inácio Reis, Rolf Drechsler

139,09 €*
Download
PDF
Formal Specification Level
Formal Specification Level Mathias Soeken, Rolf Drechsler

96,29 €*
Download
PDF
Correct-by-Construction Approaches for SoC Design
Correct-by-Construction Approaches for SoC Design Roopak Sinha, Parthasarathi Roop, Samik Basu

106,99 €*
Download
PDF
Model-Driven Design Using IEC 61499
Model-Driven Design Using IEC 61499 Li Hsien Yoong, Partha S. Roop, Zeeshan E. Bhatti, Matthew Ming Yen Kuo

128,39 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...