Verification of Hard Real-Time Systems

Verification of Hard Real-Time Systems
Ref: CISTER-TR-140608 Publication Date: 18, Jun, 2013

Ref: CISTER-TR-140608 Publication Date: 18, Jun, 2013

Authors:

David Pereira

Poster presented in CISTER 1st Industrial Workshop on Real-Time and Embedded Systems (CiWork 2013).
Porto, Portugal.

Record Date: 4, Jun, 2014

Short links for this page: www.cister-labs.pt/docs/cister_tr_140608 www.cister-labs.pt/docs/912