Effective EFSM generation for HW/SW-design verification.

Details

Language :

English

ISBNs :

9781424473564

Database :

Complementary Index

Journal :

2010 12th Biennial Baltic Electronics Conference (BEC)

Publication Type :

Conference

Accession number :

81373451

Full Text :

https://doi.org/10.1109/BEC.2010.5631006