Activities per year
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 26th Euromicro Conference on Digital System Design (DSD) |
| Publication status | Published - Sept 2023 |
| Event | 26th Euromicro Conference on Digital System Design (DSD) and 49th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA): DSD/SEAA 2023 - Durres, Albania Duration: 6 Sept 2023 → 8 Sept 2023 https://dsd-seaa2023.com/ |
Conference
| Conference | 26th Euromicro Conference on Digital System Design (DSD) and 49th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) |
|---|---|
| Abbreviated title | DSD/SEAA 2023 |
| Country/Territory | Albania |
| City | Durres |
| Period | 6/09/23 → 8/09/23 |
| Internet address |
Activities
- 1 Poster presentation
-
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Meinhard Kissich (Speaker)
7 Sept 2023Activity: Talk or presentation › Poster presentation › Science to science