Synthesis of finite state machines for improved state verification
| Autor: | Ahmad, Imtiaz, Ali, Faridah M., Das, A. Shoba |
|---|---|
| Zdroj: | In Computers and Electrical Engineering 2006 32(5):349-363 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Ahmad, Imtiaz, Ali, Faridah M., Das, A. Shoba |
|---|---|
| Zdroj: | In Computers and Electrical Engineering 2006 32(5):349-363 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect