Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
techniques to establish properties of complex distributed systems. In symbolic verification frameworks, system behaviours and data manipulations are represented as algebraic terms and analysed using automated
Searches related to distributed
Enter an email to receive alerts for distributed positions