4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Adrian Francalanza Ph. D, Andrew Gauci M. Sc, Gordon Pace Ph. D
The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major ch…