Meinhard Kissich

According to our database, Meinhard Kissich authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

ATTEST: Automated and Thorough Testing of Embedded Software in Teaching.

Meinhard Kissich, Klaus Weinbauer, Marcel Baunach

Proceedings of the 5th European Conference on Software Engineering Education, 2023

Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide.

Meinhard Kissich, Marcel Baunach

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023