Property Verification Patterns for Automated Production Systems
Nahla Ahmed Mohamed El-Araby;
Abstract
The most common procedure to ensure the reliability of a design is simulation. Unfortunately simulation cannot fully inspect all the execution states of the system. The significant increase in the complexity and size of digital systems together with the n
Other data
| Title | Property Verification Patterns for Automated Production Systems | Other Titles | أنماط التحقق من خواص نظم الانتاج الآلية | Authors | Nahla Ahmed Mohamed El-Araby | Keywords | Property Verification Patterns for Automated Production Systems | Issue Date | 2013 | Description | The most common procedure to ensure the reliability of a design is simulation. Unfortunately simulation cannot fully inspect all the execution states of the system. The significant increase in the complexity and size of digital systems together with the n |
Attached Files
| File | Size | Format | |
|---|---|---|---|
| 117126g112.pdf | 258.41 kB | Adobe PDF | View/Open |
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.