Treffer: Survival strategies for synthesized hardware systems
Title:
Survival strategies for synthesized hardware systems
Authors:
Source:
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on. :116-120 Jul, 2009
Relation:
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
Database:
IEEE Xplore Digital Library