Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/118511
Author(s): André de Matos Pedro
Title: Dynamic contracts for verification and enforcement of real-time systems properties
Issue Date: 2018-04-10
Subject: Ciências da computação e da informação
Computer and information sciences
Scientific areas: Ciências exactas e naturais::Ciências da computação e da informação
Natural sciences::Computer and information sciences
URI: https://repositorio-aberto.up.pt/handle/10216/118511
Document Type: Tese
Rights: restrictedAccess
Appears in Collections:FCUP - Tese

Files in This Item:
File Description SizeFormat 
309805.pdf
  Restricted Access
Dynamic contracts for verification and enforcement of real-time systems properties3.64 MBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.