Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems
Ref: CISTER-TR-151011 Publication Date: 10, Apr, 2015

Ref: CISTER-TR-151011 Publication Date: 10, Apr, 2015

Authors:

Geoffrey Nelissen

Document:

View
PDF

SEMINAR “ACtion Temps Réel : Infrastructures et Services Systèmes“.
Brussels, Belgium.

Record Date: 1, Dec, 2015

Short links for this page: www.cister-labs.pt/docs/cister_tr_151011 www.cister-labs.pt/docs/1159