Login

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

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

Ref: CISTER-TR-151011       Publication Date: 10, Apr, 2015
Authors:
Geoffrey Nelissen
,
David Pereira
,
Luis Miguel Pinho


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



Record Date: 1, Dec, 2015