Dynamic contracts for verification and enforcement of real-time systems properties

No description available.
Identiferoai:union.ndltd.org:up.pt/oai:repositorio-aberto.up.pt:10216/118511
Date28 January 2019
CreatorsAndré de Matos Pedro
ContributorsFaculdade de Ciências
Source SetsUniversidade do Porto
LanguageEnglish
Detected LanguageEnglish
TypeTese
Formatapplication/pdf
RightsrestrictedAccess

Page generated in 0.0021 seconds