Zobrazeno 1 - 1
of 1
pro vyhledávání: '"D, Adrian Francalanza Ph."'
Publikováno v:
EPTCS 68, 2011, pp. 23-37
The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information l
Externí odkaz:
http://arxiv.org/abs/1109.2655
