Specifications for the Model 42 Snow Mixer

doi 10.21236/ad0405485
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

A Formal Model of Identity Mixer

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Model Synthesis From Imprecise Specifications

2004English

Model Checking RAISE Applicative Specifications

2007English

Model Checking Large Software Specifications

ACM SIGSOFT Software Engineering Notes
1996English

Albedo Model for Shallow Prairie Snow Covers

Canadian Journal of Earth Sciences
EarthPlanetary Sciences
1987English

Model Checking Value-Passing Modal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

Empirical Model for Snow/Ground Reflectivity Prediction

English

The McKibbin-Sachs Global Model: Theory and Specifications

1989English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy