Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suiteThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suiteSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lire la suitePractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suiteThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lire la suiteARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suiteAdvanced Design Techniques for RF Power Amplifiers' main aim is to provide the reader with a deep analysis of theoretical ...
Lire la suiteThis volume comprises the proceedings of the 4th Conference on Advanced En-cryption Standard, ‘AES — State of the Crypto ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised ...
Lire la suiteThis book presents the state-of-the-practice in successfully engineered self-organizing systems, and examines ways to balance ...
Lire la suiteThis book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2005, The 15 revised full ...
Lire la suitethe 5th Chinese Conference on Biometrics Recognition (Sinobiometrics 2004) The conference this year was aimed at promoting ...
Lire la suiteThis book presents a comprehensive treatment of biometrics and offers coverage of the entire gamut of topics in the field, ...
Lire la suite