Emerson P. Cruz

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Consumer Electronics

Computing Power

Temporal Patterns

Top Venues

Publications

Alice M. Tokarnia, Emerson P. Cruz
Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded Systems. DSD (2013)