ProfileOfResearchers

Identified 13

11

TITLE: Dynamic contracts for verification and enforcement of real-time systems properties
AUTHORS: André de Matos Pedro;
PUBLISHED: 2018

INDEXED IN:

DBLP

IN MY:

12

TITLE: Dynamic contracts for verification and enforcement of real-time systems properties
AUTHORS: André de Matos Pedro;
PUBLISHED: 2018

INDEXED IN:

DBLP

IN MY:

13

TITLE: SMT-based schedulability analysis using RMTL-∫ Full Text
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3

INDEXED IN:

DBLP

Handle

IN MY:

Page 2 of 2. Total results: 13.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service