Gerard Postuma

According to our database, Gerard Postuma authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Using SSDE for USB2.0 conformance co-verification.

Thierry J.-F. Omnés, Gerard Postuma, Jos Verhaegh, Marleen Boonen, Nick Gatherer

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003