Coverage of compositional property sets under reactive constraints.
| Autor: | Bao, Binghao, Bormann, Jorg, Wedler, Markus, Stoffel, Dominik, Kunz, Wolfgang |
|---|---|
| Zdroj: | Fifteenth International Symposium on Quality Electronic Design; 01/01/2014, p589-596, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|