A formal approach for specification-driven AMS behavioral model generation.
Autor: | Mukherjee, S., Ain, A., Panda, S.K., Mukhopadhyay, R., Dasgupta, P. |
---|---|
Zdroj: | 2009 Design, Automation & Test in Europe Conference & Exhibition; 2009, p1512-1517, 6p |
Databáze: | Complementary Index |
Externí odkaz: |