216 results found for "petrification"

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer

Artificial Intelligence for Accelerating Nuclear Applications, Science and Technology

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

Denny Lorenz

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Guy Katz, Nina Narodytska, Laura Nenzi, Radoslav Ivanov, Omri Isac

Software Engineering and Formal Methods

Bernd-Holger Schlingloff, Ming Chai

Principles of Functional Verification

Andreas Meyer, Andreas S. Meyer

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

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

Bernhard Hoppe

Verification in an Age of Insecurity

Philip O'Neill

Testing and Validation of Computer Simulation Models

David J. Murray-Smith

Fundamentals of Speaker Recognition

Homayoon Beigi

Older Adults & Financial Advisers

Joanna Grove

System Verilog Assertions and Functional Coverage

Ashok B. Mehta

Foundations of Quantum Programming

Mingsheng Ying

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

IAEA

Automated Analysis of Virtual Prototypes at the Electronic System Level

Mehran Goli, Rolf Drechsler

The Weeping Rock

B. Baert

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria

Formal Methods for Software Engineering

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

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

Karl Stroetmann

Petri Nets

Michel Diaz

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

Safescan 75 LED Geldscheinprüfgerät mit ultrastarkem UV- & Weißlicht - Falschgeldprüfgerät für Banknoten, Kreditkarten & Ausweise - Geldprüfer mit dreifacher Erkennung - Geldprüfmaschine

Software Engineering and Formal Methods

Rocco De Nicola

Airborne Electronic Hardware Design Assurance

Randall Fulton, Roy Vandermolen

Safescan 155-S — Automatischer Falschgelddetektor, der Banknoten an vier Positionen mit einer Genauigkeit von 100% verifiziert — Für mehrere Währungen, 112-0668, 26.6 x 20.6 x 10 cm

Wind Turbine System Design

Safescan 155-S Automatic Counterfeit Money Detector that Quickly Verifies Banknotes - Money Machine with 7-Point Detection - 100 Percentage Accurate Money Checker Machine

The Fact Checker

Austin Kelley

Advanced UVM

Brian Hunter

The Role Of Facial And Body Motion For The Recognition Of Identity

Pilz, Karin

Steel Connection Design by Inelastic Analysis

Frantisek Wald, Halil Sezen, Mark D. Denavit, Ali Nassiri, Mustafa Mahamid, Martin Vild

System Installation And Inspection 57104 - En2

Nccer

Trust Primo Smart ID Card Reader, DNI, FIPS 201, FIPS TAA and ISO 7816 Class A, B, C Compliant, 100cm Cable, Spanish/Portuguese/Italian, Secure Login, USB Card Reader Compatible with Windows/Mac

Statistical Methods in the Atmospheric Sciences

Daniel S. Wilks

Functional Safety for Embedded Systems

Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li

Design of Steel Plated Structures with Finite Elements

ECCS - European Convention for Constructional Steelwork

Revision Total Hip And Knee Arthroplasty

Berry, Daniel J., Trousdale, Robert T, Dennis, Douglas A., Paprosky, Wayne G.

Imaging Satellites Task Planning

Yongming He, Yingwu Chen

In Pursuit of Proof

Tarangini Sriraman

Coding and Cryptography

Natasa Zivic

Functional Safety for Embedded Systems

Keqin Li, Renfa Li, Guoqi Xie, Kenli Li, Yawen Zhang

Portfolio Guidance for Veterinary Nurses

A Guide to Graduate Programs in Counseling

Suzanne M. Dugger

Quality of Information and Communications Technology

Antonio Vallecillo