FlazX | Categories | Forum | Links | Blog | Login

Search result for formal verification

Books (1-25 of 32 total)

Semantics with Applications: A Formal Introduction
Verification and Validation for Quality of UML 2.0 Models
Functional Verification of Programmable Embedded Architectures : A Top-Down Approach
Java and the Java Virtual Machine: Definition, Verification, Validation
Cryptographic Security Architecture: Design and Verification
Professional Verification: A Guide to Advanced Functional Verification (IFIP International Federation for Information Processing S.)
ASIC and FPGA Verification: A Guide to Component Modeling (The Morgan Kaufmann Series in Systems on Silicon)
Formal Software Development
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
Formal Models of Operating System Kernels
Recent Advances in Formal Languages and Applications (Studies in Computational Intelligence)
Design Pattern Formalization Techniques
Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006), Volume 150 Frontiers in Artificial Intelligence and Applications
Biometrics: Identity Verification in a Networked World
Reliability Verification, Testing, and Analysis in Engineering Design (Mechanical Engineering (Marcell Dekker))
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers (Systems on Silicon)
The Calculus of Computation: Decision Procedures with Applications to Verification
Formal Correctness of Security Protocols (Information Security and Cryptography)
Formal Refinement for Operating System Kernels
Hardware Verification With SystemVerilog: An Object-oriented Framework
Standardized Functional Verification
Software Verification and Validation: An Engineering and Scientific Approach
CAFE: An Industrial-Strength Algebraic Formal Method
Constructing Correct Software (Formal Approaches to Computing and Information Technology)

| 1 | 2 |

Refine your search result by read our Search Guidance

Top 100 Search Keywords
Last 100 Search Keywords

Nokia Themes
Free Download
Daily Internet Guide
EgyDown
Share4All
FreeBookCity.Com
Providings.com
DownArchive
Allulook4.com
eu-warez.net