9 public-domain matches

Model Verification

Cover of Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model

Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model

Dorit Jerger

Cover of Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking

Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking

Roberto Cavada, Charle Pecheur

Cover of Thermal Pollution Mathematical Model. Volume 2: Verification of One-Dimensional Numerical Model at Lake Keowee

Thermal Pollution Mathematical Model. Volume 2: Verification of One-Dimensional Numerical Model at Lake Keowee

S. S. Lee, S. Sengupta, E. V Nwadike

Cover of Verification of a 2 kWe Closed-Brayton-Cycle Power Conversion System Mechanical Dynamics Model

Verification of a 2 kWe Closed-Brayton-Cycle Power Conversion System Mechanical Dynamics Model

Damian R. Ludwiczak, Dzu K. Le, Anne M. McNelis, Albert C. Yu, Sergey Samorezov, Dave S Hervol

Cover of Thermal Pollution Mathematical Model. Volume 6: Verification of Three-Dimensional Free-Surface Model at Anclote Anchorage

Thermal Pollution Mathematical Model. Volume 6: Verification of Three-Dimensional Free-Surface Model at Anclote Anchorage

S. S. Lee, S. Sengupta, S. Y. Tuann, C. R Lee

Cover of Verification and Validation of Model-Based Autonomous Systems

Verification and Validation of Model-Based Autonomous Systems

Charle Pecheur

20th century Models

20th century Models

Warner Brother's Company

Cover of Computer Aided Verification

Computer Aided Verification

Unknown author

Cover of Verification-based software-fault detection

Verification-based software-fault detection

Christoph David Gladisch