Verification of Transaction Level Models of Embedded Systems
As complexity increases in embedded systems design, there is need for more time for verification purposes. For embedded systems, the only verification that can be done is running test cases, and the number of cases increases exponentially. In order to shorten this verification phase of the design, w...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Online |
| Լեզու: | spa |
| Հրապարակվել է: |
Universidad de Costa Rica
2013
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://revistas.ucr.ac.cr/index.php/ingenieria/article/view/11662 |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|