7 citations · 26 across the 12 of their papers we have counts for
1 paper · 2 filters
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…