211 results found for "petrification"

Development of a Standard Report for Signal Verification on Public Adverse Event Databases

Denny Lorenz

Verilog: Modellbildung für Synthese und Verifikation (Grundlagen der Elektro- und Informationstechnik) (German Edition

Bernhard Hoppe

Artificial Intelligence for Accelerating Nuclear Applications, Science and Technology

Software Engineering and Formal Methods

Bernd-Holger Schlingloff, Ming Chai

Verification in an Age of Insecurity

Philip O'Neill

Machine Learning Safety (Artificial Intelligence: Foundations, Theory, and Algorithms

Xiaowei Huang, Wenjie Ruan, Gaojie Jin

Interval Reachability Analysis

Pierre-Jean Meyer, Alex Devonport, Murat Arcak

Testing and Validation of Computer Simulation Models

David J. Murray-Smith

Fundamentals of Speaker Recognition

Homayoon Beigi

Older Adults & Financial Advisers

Joanna Grove

Britain and Weapons of Mass Destruction Verification

John Walker

Foundations of Quantum Programming

Mingsheng Ying

System Verilog Assertions and Functional Coverage

Ashok B. Mehta

Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Global Trade and Food Safety

IAEA

Formal Methods for Safety and Security

Manju Nanda

The Weeping Rock

B. Baert

Automated Analysis of Virtual Prototypes at the Electronic System Level

Mehran Goli, Rolf Drechsler

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria

Petri Nets

Michel Diaz

Computer-Architektur: Modellierung, Entwicklung und Verifikation mit Verilog (Grundlagen der Elektro- und Informationstechnik) (German Edition

Karl Stroetmann

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Machine Learning Applications in Electronic Design Automation

Haoxing Ren

Branching Programs and Binary Decision Diagrams

Ingo Wegener

Indian Chronology Solar, Lunar and Planetary

Swamikannu L.D. Pillai