Algebraic Models and the Correctness of Microprocessors

doi 10.1007/bfb0021717
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer-Verlag

Related search

Correctness-Preserving Configuration of Business Process Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Correctness of Markov Models With Discrete States and Continuous Time

Izvestiâ vysših učebnyh zavedenij. Priborostroenie
2019English

Urn Models and Differential Algebraic Equations

Journal of Applied Probability
MathematicsStatisticsUncertaintyProbability
2003English

General Correctness: A Unification of Partial and Total Correctness

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1985English

About Algebraic Program Models With Procedures

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2013English

A Stochastic Extension of the Explicit Algebraic Subgrid-Scale Models

Physics of Fluids
Mechanics of MaterialsCondensed Matter PhysicsMechanical EngineeringFluid FlowTransfer ProcessesComputational Mechanics
2014English

Programming Dedicated Microprocessors

1986English

The Explicit Algebraic Reynolds Stress Models for Turbulent Flows

Mechanical Engineering Research
2012English

The Correctness of Type Specialisation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy