|
|
ID: 23931, Actual computing
In this study methods and artifacts of model-based development and verification stated in RTCA DO-331 supplement are realized using formalism of theory of measure and integration.
|
| Download
| Details
|
|---|
|
|
FTP
download also available
|
|
|
CDN Login Required to Download. (You will be redirected to the login page if you click on the Download Link)
|
|
To download this, you must have registered:
|
|
For C++Builder, Version 10.2
to 10.2
113 downloads
Copyright: No significant restrictions
Size: 508,200 bytes
Updated on Tue, 14 May 2024 21:53:04 GMT
Originally uploaded on Wed, 22 Feb 2006 03:59:05 GMT
SHA1 Hash: FFDC9BCF96F6DD54DC7A0764E9EA4399312863FF
MD5 Hash: D2E18021A426CCD18FB20EF32D8C4252
|
Explore the files in this upload
File Exploration is Disabled
We're sorry, but errors in the uploaded zip file prevent it from being explored.
The error generated by the Zip attachment is:
You may still be able to repair the zip file contents if you download the entire zip locally. You may also want to ask the author to repost the attachment.
|
| Description
|
|---|
Owing to the fact that binary representation of information in computer is the same as form of representation of the elements of Borel algebra, the three types of the software models built according to theory of measure and integration become possible in mathematics. These models are interface model, architecture model, and implementation model.
|
|
Server Response from: ETNACDC03
Connect with Us