Bettina Hünnemeyer

According to our database, Bettina Hünnemeyer authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Formal Verification of SystemC Designs using the BLAST Software Model Checker.

Paula Herber, Bettina Hünnemeyer

Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014