Emerson P. Cruz

According to our database, Emerson P. Cruz authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded Systems.

Alice M. Tokarnia, Emerson P. Cruz

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013