Formal verification of timing conditions.
| Autor: | Eveking, Hans, Mai, Christoph |
|---|---|
| Zdroj: | Proceedings of the Conference: European Design Automation (9780818620249); 3/12/1990, p512-517, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Eveking, Hans, Mai, Christoph |
|---|---|
| Zdroj: | Proceedings of the Conference: European Design Automation (9780818620249); 3/12/1990, p512-517, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|