Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5259555
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Abstract Interpretation of the Physical Inputs of Embedded Programs |
scientific article; zbMATH DE number 5259555 |
Statements
Abstract Interpretation of the Physical Inputs of Embedded Programs (English)
0 references
4 April 2008
0 references
0 references
0.8384031
0 references
0 references
0.8165897
0 references
0 references
0.8089837
0 references
0.8024582
0 references
